现在的位置: 首页 > 综合 > 正文

【CT】递归语言的性质

2012年02月27日 ⁄ 综合 ⁄ 共 85字 ⁄ 字号 评论关闭

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

 

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

 

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

抱歉!评论已关闭.