《编译原理》2.3第二章形式语言与自动机理论基础.pdfVIP

第二章 形式语言与自动机理论基础 2.3 2.3.1正规文法与有限自动机(FA) 正规文法与有限自动机(FA) 的等价性 对于每一个正规文法都存在一个FA m ，L(m)=L(G) 每一个DFA m ，都存在一个正规文法G，使L(G)=L(m) 仅讨论右线性文法和有穷自动机的等价性问题 2 2.3.1正规文法与有限自动机(FA) 1、由NFA构造等价的正规文法 NFA 正规文法 有穷自动机的字母表为文法的终结符号集 字母表 终结符号集 有穷自动机的状态集为文法的非终结符号集 有穷自动机的初态对应于文法的开始符号 状态集 非终结符号集 对有穷自动机的转换函数f