确定性上下文无关语言和常规语言结果的结合?

Union of Deterministic Context Free Language and Regular Language results?

假设 L1 是确定性上下文无关语言,L2 是常规语言。 L1 U L2 结果 DCFL 还是常规?

请结合上下文举一些例子

生成的语言必须是 DCFL。直觉上,您可以检查一个字符串是否在 DCFL 和常规语言的联合中,方法是获取 DCFL 的 DPDA,常规语言的 DFA,然后 运行 这两个并行并查看是否接受。您可以通过使用产品构造的变体来模拟该过程,该变体表明常规语言在联合下是封闭的:为 DFA 状态和 DPDA 状态的每种组合构建一个具有一个状态的 DPDA,然后构造转换,以便它们模拟在从 DPDA 和 DFA 并行过渡之后。你只需要一层,所以这个结构应该可以正常工作。

希望对您有所帮助!

l2=sigma* 和 L1=a^nb^n l1 是 dcfl,l2 是 regular.but L1 union l2=l1 是 dcfl 但不是常规的