确定性上下文无关语言和常规语言结果的联合？答案

【问题标题】：Union of Deterministic Context Free Language and Regular Language results?确定性上下文无关语言和常规语言结果的联合？
【发布时间】：2015-03-09 04:59:59
【问题描述】：

鉴于 L1 是确定性上下文无关语言，而 L2 是常规语言。 L1 U L2 结果 DCFL 还是常规？

请给出一些例子与上下文

【问题讨论】：

提示：一个简单的例子a^nb^c^n U x^ny^x^n，现在是什么？？
@GrijeshChauhan 不过，这两种语言都不是常规语言，除非我弄错了。
@templatetypedef 是的，你是对的，我的评论没有用:(质疑。

标签： union regular-language context-free-language

【解决方案1】：

l2=sigma* 和 L1=a^nb^n l1 是 dcfl，l2 是正则。但是 L1 union l2=l1 是 dcfl 但不是正则

【讨论】：

如果我错了，请纠正我，但这两种语言的联合不是Sigma*，确实是常规的吗？

【解决方案2】：

生成的语言必须是 DCFL。直观地说，您可以通过获取 DCFL 的 DPDA 和常规语言的 DFA 来检查字符串是否在 DCFL 和常规语言的联合中，然后并行运行两者并查看是否接受。您可以通过使用产品构造的变体来模拟该过程，该变体显示常规语言在联合下是封闭的：为 DFA 状态和 DPDA 状态的每个组合构建一个具有一个状态的 DPDA，然后构建转换以便它们模拟在从 DPDA 和 DFA 并行过渡之后。您只需要一个堆栈，因此构造应该可以正常工作。

希望这会有所帮助！

【讨论】：