当你证明一种语言是可判定的时候，你有效地做了什么？

Question

当你证明一种语言是可判定的时，你有效地做了什么？

Answer 1

如果你问如何完成，我不确定，但我可以检查。

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

http://en.wikipedia.org/wiki/Recursive_language ...但很容易找到关于这个主题的更多信息。在这个链接上只有一个快速提及的术语。

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