计算理论计算理论2章 计算2
计算理论第二章计算2.1图灵机模型定义:图灵机的M=(Q,∑,,δ,B,q0,F),其中:Q为状态的有限集合;∑为有限字母表,为输入符号集;为线性带符号集,∑;B空符号,B,B∑;q0Q为初始状态FQ是终止状态集;:Q×Q×(×{L,R,S})为转移函数。状态控制器q0q5q4q3q1q2读写头线性带例例6设计图灵机识别语言{w#w|w{0,1}*}基本思路:识别过的都标记为x,通过不同状态区分0和1。描述(1)扫描输入;(2)检查#左右两边的符号是否相同。若相同,则通过标记x消去检查过的符号;若不同,则拒绝。(3)左右移动位置,重复(2);(4)...
2025-01-13
911.57KB 43 页 1
0
5玖币