2.2 形式语法

上述的配方形式,基于根据规则的替换,已经强大到足以支撑形式语法的基础了。相似的形式,通常被称为“重写系统”,在数学家中已经有了悠久的历史,而且在公元前几个世纪已经在印度被使用了(例如,见Bhate and Kak [411])。图Fig 2.3第一次被广泛研究是由Chomsky[385]做的。他的研究成果成为了形式语言、解析器和相当大部分的编译器构造以及语言学的几乎所有研究和进展的基础。