式语言与自动机 课程小结-练习(北邮).pptVIP

Exercise 1. 给出T={a,b} 上能满足下列条件的语言的文法： 至少有3个a的所有符号串 a的个数不多于3的所有符号串 Exercise 2. 给出T={a} 上能满足下列条件的语言的文法： L={w | |w| mod 3 =0 } L={w | |w| mod 3 0 } L={w | |w| mod 3 |w| mod 2 } Exercise 3. Give a DFA accepting the following languages over the alphabet {0,1}: The set of all strings such that each block of five consecutive symbols contains at least two 0’s. 解答一. 记录最近读过的4个符号（不足四位时前面补足够的0）； 初态为0000； 转移规则为：去掉最左符号，当前输入符号补充为最右符号；设一个特殊状态fail，若当前状态的4个符号连同输入符号中不足两个0，则下一状态转移到fail；除fail外其它状态全是终态。 转移表如下： 解答二. 解答一中0000，0100，1000，1100可以合并为一个状态：以及0001，1001可以合并；00