限制文法（0型，实际上无限制文法可以表示任何图灵机可以接受的语言）要弱得多，但这两种受限制的语法最常用，因为它们的解析器可以高效地实现。 例如，所有正规语言都可以被有限状态机识别，对于上下文无关文法的有用子集，有一些着名的算法可以生成高效的LL剖析器LR剖析器，以识别文法生成的相应语言。
上下文无关文法.上下文无关文法要求产生式左侧只能包含一个符号，并且该符号为非终结符号。这个限制是非常重要的；不是所有的语言都可以由上下文无关的语法生成。那些可以被称为上下文无关语言。上例定义的