Math 每种正规语言都是可判定的
我试图证明每一种正规语言都是可判定的 所以为了证明我试图证明我可以从确定性有限自动机（DFA）转移到图灵可判定机器 因此，我不知道如何构造一个模拟原始自动化（DFA）的图灵机 状态（在自动和图灵机中）将类似于偏离轨道。。但是我不知道如何继续下去 提前谢谢。Math 每种正规语言都是可判定的,math,theory,decidable,Math,Theory,Decidable,我试图证明每一种正规语言都是可判定的 所以为了证明我试图证明我可以从确定性有限自动机（DFA）转移到图灵可判定机器 因此，我不知道如何构造一个模拟原始自动化（DFA）的图灵机 状态（在自动和图灵机中）将类似于偏离轨道。。但是我不知道如何继续下去 提前谢谢。 雪兰：输入带上要识别的单词，后面跟着输入字母表外的字母。对于DFA的每个状态q，您都有一个带有转换的图灵机状态q： input letter -> tape operation, next state, write symbol c
雪兰：输入带上要识别的单词，后面跟着输入字母表外的字母。对于DFA的每个状态q，您都有一个带有转换的图灵机状态q：
input letter -> tape operation, next state, write symbol
c for each input letter -> move right, the state the DFA reaches from state q with letter c, write c
# -> STOP ACCEPT or STOP REJECT, depending on whether q is final in the DFA.