【发布时间】：2012-04-30 01:11:04
【问题描述】：
上下文无关语言集合的联合总是上下文无关的吗？证明你的答案......
我知道答案是肯定的，但我该如何证明呢？
【问题讨论】：
标签： complexity-theory automata computation-theory formal-languages
【发布时间】：2012-04-30 01:11:04
【问题描述】：
要证明上下文无关语言的有限联合是上下文无关的，您只需为联合语言构建一个上下文无关文法，就像证明两种上下文无关语言的联合是上下文无关。
如果 G1,...,GN 是您拥有的 N 种上下文无关语言的上下文无关文法，请重命名每个文法中的所有符号（添加下标以避免符号名称冲突），然后制作一个新语法 G 包含 N 个语法的所有产生式，加上产生式：
S -> S1 | S2 | ... |序列号
这个语法生成联合语言，它是上下文无关的。
【讨论】：