形式语言与自动机课件ch3.9b-3.10.ppt

fall 2001 第五讲 3.9 (part 2) 右线性语言的封闭性 3.10 双向和有输出的有限自动机 双向有限自动机 (2DFA) 定义: 读入一个字符之后，读头既可以左移一格，也可以右移一格，或者不移动的有限自动机， 为双向有限自动机. 确定的双向有限自动机: 每读入一字符，必须向左或右移动，不考虑不移动的情况. 2DFA的形式定义 2DFA M＝(Q ，T ，δ， q0， F) δ是从Q×T→Q×{L，R}的映射. 即 δ(q，a)=(p，R) 或 δ(q，a)=(p，L) （在状态q， 读入a， 进入状态p，读头向右(向左)移一格） 用格局描述: 设有ω1qω2 ω1 --- 已输入串 q --- 当前状态 ω2 --- 待输入串 δ(q，am+1)=(p，R)的格局表示: a1 a2…am q am+1…an┣ a1 a2…am+1 p am+2…an δ(q，am+1)=(p，L)的格局表示: a1 a2…am q am+1…an┣ a1 a2…am-1 p am am+1…an 2DFA 2DFA接受的字符串集合是: L(M)={ω| q０ω┣*ωq，q?F} 例: 书P113 例1. 其状态图为 有输出的有限自动机 有输出的有限自动机是有限自