为什么这个语法类型是 0 而不是 1？

Question

所以我有这个语法 G = (VN , VT , S, P) 其中 P={S→ abc| aAbc，Ab → bA，Ac → Bbcc，bB → Bb，aB → aaA|aa}。 我必须找出它有哪些语法类型以及原因。

我有答案，但我需要找到正确答案的原因。答案是 Type 0，我明白为什么，但我认为它也是 Type 1，我错了。

我找不到这个文法G也不是Type 1的原因。左侧小于或等于右侧 (1<3/3, 2=2, 2<4, 2=2, 2<=3/2). What am I getting wrong? Thank you and please help me.

Answer 1

我认为这里的混乱在于所谓的乔姆斯基层次结构的概念，它是语法学家之间的子集层次结构。简而言之，如果某个东西是类型 1，那么它也已经是类型 0。如果某物是类型 2，那么它已经是类型 1 和类型 0，等等。这是一个带有参考的图表。 https://www.geeksforgeeks.org/chomsky-hierarchy-in-theory-of-computation/