自动机正则文法正则表达式的相互转化.pptVIP

例２：为下列表达式文法G[E]编写递归下降识别程序。 E→ E+T | T T→ T*F | F F→ (E) | i 解： 步骤1：消除左递归： E→ TE E→ +TE | ? T→ FT T→ *FT | ? F→ (E) | i 步骤2：编写递归下降识别子程序，这里使用C语言形式。见下页图。 步骤3：编写递归下降识别主程序 main( ) { lookahead=getsymbol( ); E( ); if lookahead ==‘$’ exit; else error( ); } 使用该识别程序识别输入串：i * i + i，首先读入符号i，然后调用子程序E，在E中调用子程序T，在T中调用子程序F，匹配i，读入下一符号*，子程序F调用完毕，回到T。在T中继续调用子程序T‘，匹配*，读入下一符号i。在T’中继续调用子程序F，匹配i，读入下一符号+，回到子程序T‘。在T’中递归调用子程序T‘，不执行任何操作返回T’，进而返回T，进而返回E。在E中继续调用子程序E‘，匹配+，读入下一符号i，调用子程序T。在T中调用子程序F，匹配i，读入下一符号，为输入串结束符$，返回E’。在E‘中递归调用E’，不执行任何操作返回E‘，进而返回E。至此子程序E调用完毕，回到主程序，检查到达输入串末尾，从而识别成功。 由于有些信息需要保留，通常在入口处需保留某些信息，出口时需要恢复。由于递归过程是遵循先进后出 规律，所以通常需要开辟先进后出栈来处理。 巴科斯范式(BNF) 　　　巴科斯范式的左部是一个非终结符，用尖括号括起来；右部是由非终结符号和终结符号组成的任意符号串。具有相同左部的产生规则可以共用一个左部，各右部之间以竖直线分开。例如定义标识符的一组BNF 公式为： 标识符－字母｜标识符字母｜标识符数字 字母－a|b|c|…..|x|y|z 数字－0|1|2|….|8|9 扩展的巴科斯范式(EBNF) 用EBNF描述语言，直观易懂，便于表示左递归的消除和因子的提取，构造递归下降器时可采用这种定义描述系统语言。 EBNF是在BNF基础上扩展如下三组符号： — 用花括号{α}表示闭包运算α*。 — 用{α} n 0表示α可任意重复0到n次， 特别地，{α}n0=α0= ε。 — 用方括号[α]表示{α}10， 即表示α可以出现也可以不出现，等价于α | ε。 例３　用EBNF改写文法 　　　　E→ E+T | T T→ T*F | F F→ (E) | i　　　可以得到如下： 　　E→ T{+T } T→ F{*F} F→ (E) | i 与每个非终结符相对应的递归子程序的伪代码如下： 上面描述标识符的BNF可以表示成如下的EBNF 标识符－字母{字母｜数字} 字母－a|b|c|…..|x|y|z 数字－0|1|2|….|8|9 设有文法G[E]： E?E+T|E-T|T T?T*F|T/F|F F?P?F|P P?(E)|i 用EBNF表示消除左递归得到文法G?[E]： E?T{(+|-)T} T?F{(*|/)F}　　 F?P{?P} P?(E)|i 　T - FT’ 　T’ - *FT’ | /FT’ | ε 使用该识别程序识别输入串：i * i + i。首先读入符号i，然后调用子程序E，在E中调用T，在T中调用F，匹配i，读入下一符号*，返回T。在T中匹配*，读入下一符号i；调用F，匹配i，读入下一符号+，返回T，返回E。在E中匹配+，读入下一符号i，调用T。在T中调用F，匹配i，读入下一符号，为输入串结束符$，返回T，返回E，返回主程序。检查到达输入串末尾，从而识别成功。 显然，使用EBNF编写的递归子程序数量较少，分析过程也比较简单。但是需