代码改变世界

【CT】递归语言的性质

2013-01-17 19:32  Loull  阅读(357)  评论(0)  编辑  收藏  举报

1、语言是递归的 当且仅当它和它的补都是递归可枚举的。

 

2、语言是递归可枚举的 当且仅当它是Turing可枚举的。

 

3、语言是递归的 当且仅当它是以字典序Turing可枚举的。