每种常规语言都是可判定的

Question

我试图证明每种常规语言都是可判定的。

因此，为了证明我试图表明我可以从确定性有限自动机（DFA）转移到图灵可判定机器。

所以我不确定如何构建模拟原始自动化（DFA）的图灵机。

状态（在自动化和图灵机中）将会偏离当然......但我不确定如何继续..

提前致谢。 什兰

Answer 1

这不会起作用：输入磁带带有要识别的单词，后跟输入字母表外的一些字母＃。对于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.