有穷自动机DFA、NFA与正则文法、正规式之间都可以互相转换
是一种识别装置,能准确地识别正规集,即识别正规文法所定义的语言和正规式所表示的集合
为词法分析程序的自动构造寻找特殊的方法和工具
①确定的有穷自动机 ②不确定的有穷自动机
2.1.题目:
①有穷自动机的初态为唯一初态结点,用⇒标记 ②终态对应终态结点,用双圈表示。 ③若有f(k,a)=k,则有结点k到结点k画标记为a的弧。
① 行表示状态,用双箭头⇒表示初态,否则第一行是初态 ②列表示输入字符 ③相应状态行和输入字符列下的新状态,即k行a列为f(k,a)的值 ④最右边的0、0、0、1,右端标0是非终态行,标1是终态行
(意思就是输入字符集能否使它从这个DFA的初态到终态)
1.DFA是NFA的特例 2.对于任何两个有穷自动机M和N,如果L(M)=L(N),则称M与N是等价的 3.对于每个NFA M,存在一个与其等价的DFA M ’
2.例题1 (可以求到 开始符集合)
3.例题2(自己再写一次) (可以求到每一步经过输入字符后到达的状态,和经过ε之后到达的状态的集合)
①包含了初态的就是初态集合 ②包含了终态的就是终态集合
(①②③都重要,再重点看看③!!③!!)
题目例子: (其实可以直接写最后那行的)
1.定义:(这个定义不重要,看后面例子就好了)
①正规文法是3型文法,特点就是右部的最左边那一个字符是终结符 ②注意看看图里的 ε 和 T