给定语言的乔姆斯基类型是什么?

What is the Chomsky type of the given language?

生成语言 L 的文法 G 定义为:

G = ({x,y}, {S,A,B,C}, P, S)

其中 P 的元素是:

S -> ABA

AB -> AC

CB -> BBC

CA -> BBA

一个->一个| E

B -> b

G生成的语言L最准确的说法是:

一个。乔姆斯基类型 0

乙。 Chomsky 类型 1(上下文相关)

C。乔姆斯基类型 2(上下文无关)

D.乔姆斯基类型 3(正则)

E. None 以上

我认为这是类型 0,因为它对上下文不敏感。但我想知道这个规则可能会被简化为其他东西并变得上下文敏感或上下文无关等等。遇到这种问题怎么办?


语法 G 定义为:

G = ({a,b}, {S,A,B}, P, S)

其中 P 是集合:

S -> AB |作为

一个->一个| aA

B -> b | bb

G生成的语言L最准确的说法是:

一个。乔姆斯基类型 0

乙。 Chomsky 类型 1(上下文相关)

C。乔姆斯基类型 2(上下文无关)

D.乔姆斯基类型 3(正则)

E. None 以上

我认为这是上下文无关的,因为 LHS 有一个非终结符。但我不确定,因为这个规则可能会减少并成为常规语法..

语法 1 是上下文相关的(不确定您为什么认为它不是,因为它明确匹配 formal definition)。语法 2 是上下文无关的。

语法 1 的语言看起来是 (a|E)b^k(a|E),其中 k 的形式为 2^i,i 是一个非负整数。这种语言似乎是上下文相关的。

语法 2 的语言看起来是 aa*(b|bb),这是规则的。

由于问题是关于语言的,而不是所写的语法,所以我会说 1 是上下文相关的,2 是常规的。