递归语言与上下文相关语言答案

【问题标题】：Recursive languages vs context-sensitive languages递归语言与上下文相关语言
【发布时间】：2011-03-04 16:31:26
【问题描述】：

在乔姆斯基的层次结构中，递归语言集没有定义。我知道递归语言是递归可枚举语言的子集，并且所有递归语言都是可判定的。

我很好奇的是递归语言与上下文相关语言的比较。我可以假设上下文相关语言是递归语言的严格子集，因此所有上下文相关语言都是可判定的吗？

【问题讨论】：

【解决方案1】：

如果您的问题只是每个上下文相关语言都在所有递归语言的集合中，您应该尝试通过形式自动机以经典方式证明它。问问自己，什么形式自动机可以模拟上下文相关语言的生成，以及什么用于生成递归语言。然后试着用另一个来模拟一个。一旦你在你的教科书中找到了正确的自动机，你一定能够证明你想要什么。

【讨论】：

【解决方案2】：

上下文相关语言的集合是递归语言的适当子集。您不必假设这一点，请参阅 Peter Linz 的书以获取证据。

【讨论】：

【解决方案3】：

要识别递归语言，您需要一种名为 Decider 的自动机。它完全是一个被有限控制流欺骗的图灵机，即确保它永远停止。

关于上下文相关语言，它们确实是递归语言的适当子集。识别上下文相关语言的最小自动机Linear bounded automaton 严格来说不如决策者强大，这是微不足道的。我想也可以根据语法限制规则进行演示。

【讨论】：

【解决方案4】：

根据 Papadimitriou 的书 (3.4.2 (e))，上下文相关文法等价于 NSPACE(n)，它是递归语言的真子集。所以，是的，你的假设是正确的。

【讨论】：

【解决方案5】：

根据我的参考资料，我还要说上下文相关语言是所有递归语言集合的适当子集。您可以在任何标准教科书中找到这个证明，例如

> Peter Linz 的形式语言和自动机简介（第 5 版）

【讨论】：