联盟使用无语境的语言

时间:2012-04-30 01:11:04

标签: complexity-theory automata computation-theory formal-languages

无上下文语言集合的联合是否总是无上下文?证明你的答案......

我知道答案是肯定的,但我怎么能证明呢?

1 个答案:

答案 0 :(得分:1)

为了证明无上下文语言的有限联合是无上下文的,你只需要为联合语言构建一个无上下文语法,就像你要证明两个无上下文语言的联合一样。上下文无关。

如果G1,...,GN是您拥有的N个无上下文语言的无上下文语法,请重命名每个语法中的所有符号(添加下标以避免符号名称冲突)然后创建一个新语法G包含N语法的所有作品,加上制作:

S - > S1 | S2 | ...... | SN

这个语法生成联合语言,并且它是无上下文的。