计算理论笔记--3

一个有穷自动机是否接受一个串，一个有穷自动机的语言是否为空以及两个有穷自动机是否等价等问题，都是可判定问题。
与上下文无关语言相关的可判定性问题：
检查某个CFG是否派生一个特定的串是可判定问题；
检查某个CFG的语言是否为空是可判定语言。
每个上下文无关语言都是可判定的。
语言类的关系：
正则 < 上下文无关的 < 可判定的 < 图灵可识别的；
检查一个图灵机是否接受一个给定的串问题是不可判定的；
测定一个上下文无关文法是否派生所有可能的串是不可判定的； 是不可判定的。
实数集是不可数的。
有不可数个语言，却有可数个图灵机；
存在不能被任何图灵机识别的语言；由所有图灵机构成的集合是可数的；
一个有穷自动机是否有与之等价的有穷自动机，是不可判定的。
两个图灵机识别的语言是否等价 是不可判定的。
是不可判定的， 是补图灵可判定的
是可判定的， 是补图灵可判定的
下推自动机 ( PDA ) 可判定问题 :
① 下推自动机 ( PDA ) 的 接受问题 是可以判定的。
② 下推自动机 ( PDA )所 认识的语言是否是空集问题 , 是可判定的 。
下推自动机 ( PDA ) 不可判定问题 :
① 两个 下推自动机 ( PDA ) 是否相互等价 是不可判定的
② 上下文无关语法 ( CFG ) 是否有歧义 , 不可判定 ;
可归约性
停机问题
停机问题 : 设计一个程序 , 帮助判定 “给定一个程序 , 该程序是否会停机” ;
① 如果知道该程序 不会停机 , 就强制停止该程序 ;
② 如果知道该程序 会停机 , 就耐心等待该程序执行完毕 ;
上述 “能判定程序是否会停机” 的程序 , 是不存在的 ;
停机问题是不可判定的，可以使用 图灵机的接受问题归约得到；
波士特问题不可判定。
若A可归约到B，且B是可判定的，则A也是可判定的