二型文法

这是定义
2型文法

2型文法也叫上下文无关文法,它对应于下推自动机。2型文法是在1型文法的基础上,再满足:每一个α→β都有α是非终结符。如A->Ba,符合2型文法要求。

如Ab->Bab虽然符合1型文法要求,但不符合2型文法要求,因为其α=Ab,而Ab不是一个非终结符。
1111111111111
那么AB->asdf 符合2型文法么?

符合
温馨提示:答案为网友推荐,仅供参考
相似回答