什么是1型文法？

1型语法也喊出有关语境的语法，这种语法相当于线性有界能动器。它位于0型语法的根底，每块→宽，都有|°=|°...那里|测试|表达的是测试版的长度。

重视:当然，还有一个特例，叫做|||=||¥1形语法。

如果存在A-Ba，则|°=2，|°=1符合1型语法要求。反之，如aA-a，则不符合1型语法。