finite-automata - 当您证明一种语言是可判定的时，您实际上在做什么？

Question

当您证明一种语言是可判定的时，您实际上在做什么？

Answer 1

如果您问它是如何完成的，我不确定，但我可以检查。

基本上，可判定是一种可以构造算法（即图灵机）的语言，该算法将对任何有限输入（接受或拒绝输入）停止。Undecidable 是不可判定的语言。

http://en.wikipedia.org/wiki/Recursive_language ...但可以轻松找到有关该主题的更多信息。在此链接上，仅快速提及该术语。

ps 因此，在构建上述算法时，您基本上是在证明语言是可判定的。