2.13 总结

Chomsky语法是一种有限的机制，产生通常是无限集合的字符串，一门“语言”。不同于其他许多集合生成机制，这种生成过程指派一个结构给生成的字符串，可以用来向其附加语义。对于上下文无关语法（2型），这种结构是一棵树，允许语义由分支的语义组成。这是上下文无关语法的重要性的基础。