什么是2型文法？

2型文法也叫上下文无关文法，它对应于下推主动机。2型文法是在1型文法的根底上,再满足：每一个α→β都有α长短末结符。如A->Ba,契合2型文法要求。

如Ab->Bab固然契合1型文法要求,但不契合2型文法要求，因为其α=Ab，而Ab不是一个非末结符。