什么是2型文法？

2型语法也喊出了上下文无关语法，它相当于下推凌动器。2型语法在1型语法的根底，再称心。每个α→α都有α长端末结符。如A-Ba，符合2型语法要求。

当然，像Ab-Bab一样，它也符合1型语法要求，但是那α=Ab不是非言语结符，所以它不符合2型语法要求。