计算理论学习笔记(三)

图灵机™ 有穷自动机与图灵机区别:图灵机在带子上能写能读;读写头即能左移也能右移;带子无限长;进入拒绝和接受状态立即停机。 定义 格局 图灵可判定:有限步骤内,可知结果是yes或者no. 图灵可识别:有限步骤内,可知结果是yes.对于no的可能进入死循环. 图灵可补识别:有限步骤内,可知结果是no.对于yes的可能进入死循环. 识别语言 0 2 n 0^{2^n} 02n的图灵机如图. 每次减半,
相关文章
相关标签/搜索