形式语言与自动机理论课件 第三章---有穷自动机.pptVIP

3.5.1 FA与左线性文法 左线性文法，按照推导来说,句子a1a2…an-1an中的字符被推导出的先后顺序正好与它们在句子中出现的顺序相反；而按照归约来看,它们被归约成语法变量的顺序则正好与它们在句子中出现的顺序相同：a1,a2,…,an-1,an。可见,归约过程与FA处理句子字符的顺序是一致的,所以可考虑依照“归约”来研究FA的构造。 左线性文法G：E → A0|B1 A → 1|C1 B → 0|C0 C → B0|A1 ? 左线性文法的归约过程中，处理字符的顺序正好是字符在句子中出现的顺序。G对句子1101的归约过程如下： – 1101?A101 使用产生式A→1 – ?C01 使用产生式C→A1 – ?B1 使用产生式B→C0 – ?E 使用产生式E→B1 ? 与FA的关系： – G中形如A→Ba的产生式对应于FA的状态转移δ(B,a)=A； – G中形如A→a的产生式对应于FA的状态转移δ(Z,