Math 一个非上下文无关的语言L在迭代中是否可能是上下文无关的?

Math 一个非上下文无关的语言L在迭代中是否可能是上下文无关的?,math,theory,context-free-grammar,computation-theory,Math,Theory,Context Free Grammar,Computation Theory,语言L不是上下文无关的语言 但是L*能成为一种上下文无关的语言吗?是的,这是可能的。作为一个例子,考虑字母表{= { 1 },并且让L成为语言{1p* p是素数}。通过使用泵引理可以证明这种语言不是上下文无关的 但是,语言L*是除1之外的所有字符串的集合。原因是, ε∈L*,因为ε∈对于任何语言 12英寸;因为2是素数 13英寸;因为3是素数 1n∈L*表示任何n≥ 2,因为您可以从12或13开始,并将适当数量的12个副本连接到它 这种语言确实是上下文无关的,您可以通过为它

语言L不是上下文无关的语言


但是L*能成为一种上下文无关的语言吗?

是的,这是可能的。作为一个例子,考虑字母表{= { 1 },并且让L成为语言{1p* p是素数}。通过使用泵引理可以证明这种语言不是上下文无关的

但是,语言L*是除1之外的所有字符串的集合。原因是,

  • ε∈L*,因为ε∈对于任何语言
  • 12英寸;因为2是素数
  • 13英寸;因为3是素数
  • 1n∈L*表示任何n≥ 2,因为您可以从12或13开始,并将适当数量的12个副本连接到它
这种语言确实是上下文无关的,您可以通过为它编写语法来证明这一点


希望这有帮助

谢谢你一再用美丽的数学真理让我惊讶:-)谢谢!使用{1p | p是质数}真是太棒了!顺便问一下,你介意花点时间看看我的另一个问题吗?如果我错了,请纠正我,但我认为是“1”ⁿ ∈ L*表示任何n≥ “2”而不是“1”ⁿ ∈ L代表任何n≥ 2.“纯CS问题最好在网上提问