第四章 词法分析.ppt

正规式和自动机的等价性可使它们之间进行转换，正规文法和有穷自动机也可从正规文法G直接构造一个有穷自动机NFA M，使得 L（M）=L（G）： ①字母表与G的终极符集相同； ②为G中的每个非终极符生成M的一个状态，G的开始符号S的开始状态S； ③增加一个新状态Z，做为NFA的终态； ④对G中的形如A → t B其中t为终极符或ε，A和B为非终极符的产生式，构造M的一个转换函数f(A，t）= B； ⑤对G中形如A → t的产生式，构造M的一个转换函数f（A，t）= Z。 4.5 正规文法和有穷自动机的转换 A aB B bA B aS B bA B ? 转换函数f(A,t)=B 可写产生式A tB 对可接受状态Z, 增加一产生式: Z ? 例4.13 给出下图NFA M等价的正规文法: A- aB A- bD B- bC C- aA C- bD C- ? D- aB D- bD D- ? 转换函数f(A,t)=B 可写产生式A tB 对可接受状态Z, 增加一产生式: Z ? 根据： LEX是由美国Bell实验室的M.Lesk和Schmidt于1975年用C语言研制的一个词法分析程序的自动生成工具。对任何高级程序语言，用户必须用正规表达式描述该语言