这是上下文无关或上下文敏感的语言吗？

Question

我正在学习形式语言和自动机理论，我对本书中没有回答的问题有疑问。问题是：

此语言是上下文免费，常规还是上下文敏感？

L = {a ^ i b ^ j c ^ k | i＆lt; = j或j＆lt; = i，j = k}

Answer 1

它没有上下文。可以使用以下CFG指定：

S -> AX
A -> aA
A -> epsilon
X -> bXc
X -> epsilon

A州根据您的需要接受a个b个。 X会以相同的数量生成c和// get a short reference to the x-axis Axis ax = chart1.ChartAreas[0].AxisX; // set the size of the zoomed view ax.ScaleView.Size = 60; // set the position of the view ax.ScaleView.Position = 31; 。因此，此CFG指定语言L。

Answer 2

它对上下文敏感。

不规则：我们必须记住有限状态机不能出现的b或c的出现次数。

不是没有上下文，好像我们应用了泵浦引理，你会看到我们在推动b为a^{2}b^{2} b^{n-4}b^{2}c^{n}这样的字符串之后有更多的b而不是c。

所以它是上下文敏感的。