这种语言不是递归的？

Question

这个问题是在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'}不递归？

Answer 1

由于“递归”是包含所有更简单的语言类的一般语言类别，因此问题可能意在理解为为什么给定语言比递归语言更简单 - 比如说它是类型1 ，2或3.否则问题没有意义（因为它显然是递归的。）

通过查看交叉点可以找到答案：

  

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

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