编译原理笔记

（一）编译原理句子和句型的区别

句型是推导过程中生成的产生式。

如：有下列文法：
　　S→AB
　　A→aA|a
　　B→bB|b

用上述文法推导字符串aaabbb过程如下：

　　S→AB→aAB→aaAB→aaaB→aaabB→aaabbB→aaabbb

AB、aAB、aaAB、aaaB、aaabB、aaabbB和aaabbb都是上述文法的一个句型。

只有终结符的句型为句子。