会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
代码改变世界
Cnblogs
Dashboard
Login
Home
Contact
Gallery
Subscribe
RSS
Loull
【CT】递归语言的性质
2013-01-17 19:32
Loull
阅读(
364
) 评论(
0
)
编辑
收藏
举报
1、语言是递归的 当且仅当它和它的补都是递归可枚举的。
2、语言是递归可枚举的 当且仅当它是Turing可枚举的。
3、语言是递归的 当且仅当它是以字典序Turing可枚举的。
刷新页面
返回顶部
About