在Chomsky的层次结构中，未定义递归语言集。我知道递归语言是递归可枚举语言的子集，并且所有递归语言都是可判定的。
我很好奇的是递归语言与上下文相关语言的比较。我是否可以假定上下文敏感的语言是递归语言的严格子集，因此所有上下文敏感的语言都是可决定的？
如果您的问题只是所有上下文相关的语言都在所有递归语言集中，则应尝试通过形式化自动机以经典方式证明它。问问自己，什么形式的自动机可以模拟上下文相关语言的生成，以及什么用于生成递归语言。然后，只需尝试使用另一种来模拟。在教科书中查找正确的自动机后，您一定可以证明所需的内容。
上下文相关语言集是递归语言的适当子集。您不必假设这一点，请参阅Peter Linz的书作为证明。
要识别递归语言，您需要一种名为Decider的自动机。这正是图灵机受有限控制流的欺骗，也就是说，要确保它始终能够停止运行。
关于上下文相关的语言，它们确实是递归语言的适当子集。考虑到识别上下文相关语言的最小自动机，Linear bounded automaton的确比决定器功能强大，这是微不足道的。我想也可以根据语法限制规则进行演示。
根据Papadimitriou的书（3.4.2（e）），上下文相关文法等效于NSPACE（n），后者是递归语言的适当子集。因此，是的，您的假设是正确的。
根据我的参考资料，我还要说上下文敏感语言是所有递归语言集合的适当子集。您可以在任何标准教科书中找到该证明，例如
>彼得·林茨的形式语言和自动机简介（第5版）