第3章 节 有穷状态自动机 计算机专业 形式语言课件.ppt

*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;习题： 构造一个DFA，它接受的语言为 {0,1}+。 {x|x∈{0,1}+且x中不含形如00的子串}。 {x|x∈{0,1}+且x以0开头以1结尾}。 ;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;练习 根据给定的NFA，构造与之等价的DFA NFA 的状态转移函数如表所示 ;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;练习 根据给定的ε-NFA ，构造与之等价的NFA ε-NFA 的状态转移函数如表所示 ;练习 根据给定的ε-NFA ，构造与之等价的NFA ε-NFA 的状态转移函数如表所示 ;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;练习 构造下图所给DFA对应的右线性文法和左线性文法;练习 根据所给文法，构造相应的FA 1）S?a|aA A?a|aA|cA|bB B?a|b|c|aB|bB|cB 2）S?a|Aa A?a|Aa|Ac|Bb B?a|b|c|Ba|Bb|Bc ;*;*;*;*;*;*;*;*;*;例.假定我们想确定每个二值字符串的模三余数。定义具有三个状态q0,q1和q2的Moore机。λ（qj）=j 在输入1010上，所进入的状态序列是q0,q1,q2,q2,q1,给出的输出是01221。也就是说有余数0，1有余数1，2有余数2，5有余数2，10有余数1;*;*;*;*;*;*;*;*;*;*;*