鉴于L1是确定性上下文无关语言& L2是常规语言。 L1 U L2会产生DCFL还是常规?
请举例说明上下文
答案 0 :(得分:3)
结果语言必须是DCFL。直观地说,您可以通过获取DCFL的DPDA,常规语言的DFA,然后并行运行两个并查看是否接受,来检查字符串是否在DCFL和常规语言的并集中。您可以通过使用产品构造的变体来模拟该过程,该变体显示常规语言在联合下关闭:为DFA状态和DPDA状态的每个组合构建具有一个状态的DPDA,然后构造过渡以便它们模拟在DPDA和DFA并行转换之后。你只需要一个堆栈,所以构造应该可以正常工作。
希望这有帮助!
答案 1 :(得分:1)
l2 = sigma *且L1 = a ^ nb ^ n l1是dcfl,l2是常规的。但是L1 union l2 = l1是dcfl但不是常规的