搜搜做题作业网type 1 grammer是什么意思,
来源：学生作业帮 编辑：搜搜做题作业网作业帮 分类：物理作业 时间：2024/04/26 13:18:44
type 1 grammer是什么意思,
1型文法的意思
1型文法
1型文法也叫上下文有关文法,此文法对应于线性有界自动机.它是在0型文法的基础上每一个α→β,都有|β|>=|α|.这里的|β|表示的是β的长度.
注意：虽然要求|β|>=|α|,但有一特例：α→ε也满足1型文法.
如有A->Ba则|β|=2,|α|=1符合1型文法要求.反之,如aA->a,则不符合1型文法.
1型文法
1型文法也叫上下文有关文法,此文法对应于线性有界自动机.它是在0型文法的基础上每一个α→β,都有|β|>=|α|.这里的|β|表示的是β的长度.
注意：虽然要求|β|>=|α|,但有一特例：α→ε也满足1型文法.
如有A->Ba则|β|=2,|α|=1符合1型文法要求.反之,如aA->a,则不符合1型文法.