计算引论4 文法及语言.pptVIP

格局: 机器的状态(有限控制器, 读写头和输入带)的表示方式.由当前状态和字符串未输入部分决定, 属于Q??* 。 例如：（q2,ababab） 连续时刻的格局序列就是自动机在输入字符串上的计算(computation). 若自动机M的一个格局经过一步(读写头)移动到达另一个格局, 则称这两个格局之间有二元关系?M. 例如, 若(q,w)和(q’, w’)为M的格局, (q, w)?M(q’,w’) iff 对某a∈?有w=aw’及?(q,a)=q’ 此时称(q,w)一步产生(q’,w’). ?*M ：?M的自反传递闭包 如(q, w)?*M (q’, w’)，表示(q, w)经过多步(包括0步) 产生 (q’, w’). 字符串w∈?*被M=(Q, ∑,??, q0, F)接受,当且仅当存在状态q∈F, 使得(q0, w)?*M (q, ?). 所有由被M接受的字符串组成的集合即为M接受的语言, 记为L(M). 有限自动机的表示： 状态图 状态表 例, 令M为确定有限自动机(Q, ?, ?, q0, F), 其中Q={q0,q1}, ?={a, b}, F={q0}, ?为如右表所示 q w ?(q, w) q0 a q0 q0 b q1 q1 a q1 q1 b q0 a 状态图 状态用结点表示, 用标有