當你證明一種語言是可判定的時，你在做什麼？

Question

當你證明一門語言是可判定的時候，你在做什麼？

Answer 1

如果你問如何完成，我不確定，但我可以檢查。

基本上，可判定爲其中一個可以構造一個算法（即圖靈機），將對於任何有限輸入停止（具有接受或拒絕該輸入）的語言。 不可判定的是不可判定的語言。

http://en.wikipedia.org/wiki/Recursive_language ......但更多的關於這個問題很容易被發現。在這個鏈接上只提到了這個術語。

p.s.因此，在構建上述算法時，您基本上證明語言是可確定的。