2.13 总结

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