证明常规语言和上下文无关语言是递归的

Question

  

我对常规和上下文免费语言之间的区别感到困惑。   递归语言是一种语言，其中存在总是停止的TM。   我在证明上述陈述方面遇到了问题。

Answer 1

有限自动机接受常规语言，它们没有可用的内存。 pushdown自动机可以接受无上下文语言，它有一个内存堆栈（支持push / pop）。递归语言是可以由图灵机决定的，它具有（可能）无限的内存磁带。常规语言是递归的，因为您可以通过不使用磁带使TM等效于FA。无上下文语言是递归的，因为您可以通过将磁带用作堆栈来使TP等效于PDA：仅读取和写入最后一个非空白符号。这缺乏细节，但可以作为您要求证明的声明的严格证据。