給定語言的喬姆斯基類型是什么？

Question

語法G生成語言L定義為：

G =（{x，y}，{S，A，B，C}，P，S）

P的元素是：

S-> ABA

AB-> AC

CB-> BBC

CA-> BBA

A-> a | Ë

B-> b

由G生成的語言L最准確地說是：

A.喬姆斯基類型0

B.喬姆斯基類型1（上下文相關）

C.Chomsky類型2（無上下文）

D.Chomsky 3型（常規）

E.以上都不是

我認為這是類型0，因為它與上下文無關。 但是我不知道這個規則可能會簡化為其他內容，並變得對上下文敏感或不受上下文限制等。 如何處理這種問題？

---

語法G的定義為：

G =（{a，b}，{S，A，B}，P，S）

其中P是集合：

S-> AB | 如

A-> a | A

B-> b | bb

由G生成的語言L最准確地說是：

A.喬姆斯基類型0

B.喬姆斯基類型1（上下文相關）

C.Chomsky類型2（無上下文）

D.Chomsky 3型（常規）

E.以上都不是

我認為這是上下文無關的，因為LHS具有一個非終結符。 但是我不確定，因為該規則可能會減少並變成常規語法。

Answer 1

語法1在編寫時是上下文相關的（不確定為什么會這樣，因為它明確地與形式定義匹配）。 語法2不受上下文限制。

語法1的語言看起來是(a|E)b^k(a|E) ，其中k的形式為2 ^ i，i是非負整數。 這種語言似乎是上下文相關的。

語法2的語言看起來是aa*(b|bb) ，這是正常的。

由於問題是關於語言的，而不是書面的語法，因此我想說1是上下文相關的，而2是常規的。