📜  CFL关闭属性

📅  最后修改于: 2020-11-26 10:17:08             🧑  作者: Mango


无上下文语言在-下关闭

  • 联盟
  • 级联
  • Kleene Star手术

联盟

令L 1和L 2为两种上下文无关的语言。则L 1∪L 2为也上下文。

令L 1 = {a n b n ,n> 0}。对应的语法G 1将具有P:S1→aAb | ab

令L 2 = {c m d m ,m≥0}。相应的语法G 2将具有P:S2→cBb | ε

联盟L 1和L 2,L = L 1∪L 2 = {B n的}∪{C M d}

对应的语法G将具有附加产生式S→S1 | S2

级联

如果L 1和L 2是上下文无关的语言,则L 1 L 2也是上下文无关的。

语言L 1和L 2的并集,L = L 1 L 2 = {a n b n c m d m }

相应的语法G将具有附加产生式S→S1 S2

克莱恩·斯塔

如果L是上下文无关的语言,则L *也是上下文无关的。

令L = {a n b n ,n≥0}。对应的语法G将具有P:S→aAb | ε

Kleene Star L 1 = {a n b n } *

相应的语法G 1将具有其他乘积S1→SS 1 | ε

无上下文语言在以下情况下不会关闭

  • 交集-如果L1和L2是上下文无关的语言,则L1∩L2不一定是上下文无关的。

  • 具有常规语言的交集-如果L1是常规语言,而L2是上下文无关语言,则L1∩L2是上下文无关语言。

  • 补语-如果L1是上下文无关的语言,则L1’可能不是上下文无关的。