这种语言怎么不是递归的？答案

【问题标题】：how this language is not recursive?这种语言怎么不是递归的？
【发布时间】：2013-08-25 05:07:29
【问题描述】：

这个问题是在 Gate 2009 上提出的。我不明白它为什么不是递归的？

L = {A^m B^m C Aⁿ Bⁿ | m, n ≥ 0}
L' = {Aⁱ B^j C^k | i, j, k ≥ 0}

为什么语言 {L intersection L'} 不是递归的？

【问题讨论】：

@Phrogz :) 好吧，我不知道如何更简洁地解释它..
什么是A、B和C？
这是什么语法？聚乙二醇？ BNF？什么是“Gate 2009”，它与这个问题有什么关系？简单地用“自动机”标记它似乎不足以让某人理解您提出这个问题的上下文。
这在我看来是递归的。我们一定错过了一些重要的东西。
@AnshikaAgrawal 否决票表明其他人不同意您认为这是一个完整的问题。我建议您对其进行编辑和扩展，提供有关问题的背景，并可能添加您迄今为止对此的想法。

【解决方案1】：

由于“递归”是一种通用的语言类别，包括所有更简单的语言类别，所以这个问题可能意味着为什么给定的语言比递归语言更简单——比如说，它是一种类型 1 , 2, 或 3。否则这个问题没有意义（因为它显然是递归的。）

看路口就能找到答案：

L ∩ L' = {A^m B^m C | m≥0}

这只是所有平衡括号后跟 C 的语言，可以被确定性下推自动机识别，因此是一种上下文无关语言。

【讨论】：