博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
【CT】递归语言的性质
阅读量:7262 次
发布时间:2019-06-29

本文共 158 字,大约阅读时间需要 1 分钟。

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

 

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

 

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

转载于:https://www.cnblogs.com/549294286/archive/2013/01/17/2865078.html

你可能感兴趣的文章
向左滚动文字 js代码效果
查看>>
Javascript获取HTML静态页面参数传递值示例
查看>>
SOA思想
查看>>
囚徒健身
查看>>
用Javascript刷新框架子页面的七种方法
查看>>
检查单 2013-11-27
查看>>
makefile讲义(1)——makefile基础(概述)
查看>>
Cookie
查看>>
IOS上路_11-简单示例-手势识别2-2
查看>>
2.7 xargs和exec详解
查看>>
C#中New关键词的几种用法
查看>>
【转载】play framework 2.0 实战(4)- spring
查看>>
Java基础-深克隆与浅克隆的区别
查看>>
腾讯云数据盘挂载
查看>>
apache网站访问缓慢的处理记录
查看>>
curl 命令示例:
查看>>
使用wget从oracle下载jdk
查看>>
Struts2类型转换
查看>>
Unix环境高级编程笔记 :13、守护进程
查看>>
计算线段或直线与线段的交点
查看>>