计算理论计算理论2章计算1

VIP免费

2025-01-13 0 0 383.46KB 30 页 5.9玖币

侵权投诉

计算理论

第二章可计算

主要内容

 图灵机模型

 图灵机变形

 图灵判定问题

2.1 图灵机模型

图灵机组成：

两端无限的线性带（读写介质）

有限的符号表（表示信息）

有限的信息处理状态

信息处理动作（静止，左、右移）

信息处理方法（规则）

2.1 图灵机模型

状态控制器

q4q3

读写头

线性带

例1：识别字符串集合形如 w#w

 例： 0111000#0111000

2.1 图灵机模型

定义：图灵机的 M＝(Q, ∑, , δ, B, q0, F) ，

其中：

 Q 为状态的有限集合；

 ∑ 为有限字母表，为输入符号集；

 为线性带符号集，∑ ；

 B 空符号， B ，B ∑ ；

 q0Q为初始状态

 FQ是终止状态集 ;

 ：Q× Q×(×{L, R, S}) 为转移函数。

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

5.9 玖币 0人已下载

立即下载 VIP免费下载

摘要：

计算理论第二章可计算主要内容图灵机模型图灵机变形图灵判定问题2.1图灵机模型图灵机组成：两端无限的线性带（读写介质）有限的符号表（表示信息）有限的信息处理状态信息处理动作（静止，左、右移）信息处理方法（规则）2.1图灵机模型状态控制器q0q5q4q3q1q2读写头线性带例1：识别字符串集合形如w#w例：0111000#01110002.1图灵机模型定义：图灵机的M＝(Q,∑,,δ,B,q0,F)，其中：Q为状态的有限集合；∑为有限字母表，为输入符号集；为线性带符号集，∑；B空符号，B，B∑；q0Q为初始状态FQ是终止状态集;：Q×Q...

展开>> 收起<<

计算理论计算理论2章计算1.pptx

共30页,预览6页

还剩页未读，继续阅读

声明：本站为文档C2C交易模式，即用户上传的文档直接被用户下载，本站只是中间服务平台，本站所有文档下载所得的收益归上传人(含作者)所有。玖贝云文库仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私，请立即通知玖贝云文库，我们立即给予删除！

计算理论计算理论2章计算1

相关推荐

开通VIP享超值会员特权

作者详情

相关内容

热门标签

举报选择:

计算理论计算理论2章 计算1

相关推荐

开通VIP享超值会员特权

作者详情

相关内容

热门标签

举报选择:

计算理论计算理论2章计算1