当你证明一种语言是可判定的时，你在做什么？

Question

当你证明一门语言是可判定的时候，你在做什么？

Answer 1

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

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

http://en.wikipedia.org/wiki/Recursive_language ......但更多的关于这个问题很容易被发现。在这个链接上只提到了这个术语。

p.s.因此，在构建上述算法时，您基本上证明语言是可确定的。