CFG和DCFG可判定的问题

时间:2014-02-23 15:57:27

标签: context-free-grammar context-free-language

你们能否列出你所知道的可用于上下文无关语言和确定性上下文免费语言的问题。我确实得到了Stack Overflow和Wiki上不可判定问题列表的一些信息,但是与CFG或DCFG没有详细关系。这个问题列表(带有证据/链接)对于那些正在寻找此类问题的人来说非常有用。

1 个答案:

答案 0 :(得分:0)

与DCFG和CFG相关的一个非常有趣的可判断问题是。我们可以比较两个DCFG(DPDA)但我们无法比较两个CFG。 DPDA(DCFG)的等价问题已被证明是可判定的。 [link](http://www.lfcs.inf.ed.ac.uk/reports/99/ECS-LFCS-99-411/ECS-LFCS-99-411.pdf)在本文档中有很好的解释。