為什么此語法不上下文相關？

Question

我有這個語法：

G =（N，Epsilon，P，S）

與

N = {S, A, B}

Epsilon = {a},

P:    S -> e

      S -> ABA

      AB -> aa

      aA -> aaaA

      A -> a

為什么這是僅類型0的語法？

我認為這是因為aA -> aaaA ，但是我看不出它與規則有何沖突。

規則必須像這樣構建：

x1 A x2 -> x1 B x2而：

A是N的元素；

x1，x2是V *的元素；

B是VV *的元素；

對於V = N united Epsilon ，我在這里看不到問題。

a來自V，A來自N，而A的右邊可能是空字，它也是V *的一部分，因此左側可以。

在右側，再次有x1，是a，那么我們可以說aaA是VV *的一部分，aa是V，A是V *，而右側是x2，因此又是空的。

Answer 1

“規則必須這樣構建：x1 A x2-> x1 B x2 while：....”是的，這是正確的。 但是，存在規則的等效定義（類型1語法）：p-> q，其中p，q是V ^ +的元素，而length（p）<= length（q）和-自然地-p有一個元素N。您的語法只有規則，且滿足以下形式=>您的語法為1類