关于图灵机的几个概念

M接受的字符串的集合称为M的语言,或被M识别的语言,记为L(M)。

如果一个语言能被某一图灵机识别,则称该语言是图灵可识别的。

在输入上运行一个TM时,可能产生三种结果:接受拒绝循环(这里的循环仅仅指机器不停机)

对所有输入都停机的图灵机,即永不循环,这种机器叫判定器(为什么叫判定器?因为它们总能决定是接受还是拒绝),同时也称识别某语言的判定器判定该语言。

如果一个语言能被某一个图灵机判定,则称它是图灵可判定的,简称可判定的

每一个多带图灵机都等价于某一个单带图灵机。

每一个非确定性图灵机都等价于某一个确定型图灵机。

确定型单带图灵机在多项式时间内可以判定的语言类叫P类.

多项式时间可验证机的语言类叫NP类

P=成员资格可以快速地判定的语言类;

NP=成员可以快速地验证的语言类;

如果一个语言B满足B是属于NP的,且NP中的每个A都可以多项式时间规约到B,则语言B是NP完全的;

转载于:https://www.cnblogs.com/jiajinwen/archive/2011/11/25/2262982.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值