在图灵机的上下文中暂停,接受和决定之间有什么区别?


10

接受是否意味着TM将从当前正在读取的单元格中读取并识别一个字符?如果输入是可确定的,TM是否会停止?


停止与终止(处于接受/拒绝状态)同义。接受一种语言(确定一种语言的成员资格)意味着暂停该语言的所有输入的接受状态。
saadtaame 2012年

这是基本定义的问题。是什么让您感到困惑?
拉斐尔

Answers:


10

图灵机最终进入的状态的接受和拒绝,是基于从磁带读取的字符串,而不仅仅是来自一个单元格的符号。当然,关于进入接受或拒绝磁带的决定最终是基于一个符号做出的。

图灵机可以最终进入接受状态,进入拒绝状态或永远循环。如果它进入接受或拒绝状态,那么它将停止。

如果图灵机在所有输入上都停止,则称其为总数。

图灵机接受的语言是所有单词的集合,这些单词在作为图灵机的输入提供时会导致图灵机进入接受状态。

当且仅当存在一台接受该语言的图灵机时,才说该语言是可判定的。


实际上,我们应该谈论图灵机程序。图灵机本身就是一个模型。这是对表达的滥用。
saadtaame 2012年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.