当你证明一种语言是可判定的时，你实际上在做什么？
当你证明一种语言是可判定的时，你实际上在做什么？
When you are proving a language is decidable, what are you effectively doing?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
当你证明一种语言是可判定的时，你实际上在做什么？
When you are proving a language is decidable, what are you effectively doing?
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。
发布评论
评论（1）
如果你问它是如何完成的，我不确定，但我可以检查。
基本上，可判定是一种可以构建算法（即图灵机）的语言，该算法将针对任何有限输入（接受或拒绝输入）而停止。
不可判定是不可判定的语言。
http://en.wikipedia.org/wiki/Recursive_language ...但有关该主题的更多信息很容易找到。在此链接上仅快速提及该术语。
ps 因此，在构建上述算法时，您基本上是在证明语言是可判定的。
If you asking HOW is it done, I'm unsure, but I can check.
Basically, decidable is the language for which one can construct an algorithm (i.e. Turing machine) that will halt for ANY finite input (with accepting or rejecting the input).
Undecidable is the language which is not decidable.
http://en.wikipedia.org/wiki/Recursive_language ... but more on the subject can easily be found. On this link there is only a quick mention of the term.
p.s. So, when constructing above mentioned algorithm, you are basically proving that language is decidable.