这个CFG的结果是什么?

What is the result of this CFG?

我有这个自由上下文语法 a(x^i) a(y^i) 的例子。我想知道,我接受的字母链是像 axxx ayyy 还是像 axaxayay 这样的东西。

还有这个语法:

a(x^i)(y^i)(z^i),它接受什么样的语法? axxxyyyzzz 还是 axyzaxyzaxyz?

I wonder, if my accepted chains of letters would be something like axxx ayyy or would it be something like axaxayay.

它应该像 axxxayyy,而不是 axaxayay。显示的“^i”位仅适用于 x 和 y,不适用于 a,因此您希望 a 各出现一次。要获得 axaxayay,您需要 (ax)^i (ay)^I。注意:a(x^i) a(y^i)对应的语言是上下文无关的。

Also for this grammar: a(x^i)(y^i)(z^i), what kind of grammar would it accept? axxxyyyzzz or axyzaxyzaxyz?

同样,“^i”位仅适用于 x、y 和 z;所以你会期望 axxxyyyzzz 形式的字符串而不是 axyzaxyzaxyz。要获得 axyzaxyzaxyz,您需要 (axyz)^I。注意:a(x^i)(y^i)(z^i)对应的语言不是context-free.