确定性语境联盟自由语言和常规语言结果?

时间:2015-01-11 07:16:05

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

鉴于L1是确定性上下文无关语言& L2是常规语言。  L1 U L2会产生DCFL还是常规?

请举例说明上下文

2 个答案:

答案 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但不是常规的