Recursion 证明正则语言和上下文无关语言是递归的

我对常规语言和上下文无关语言之间的区别有点困惑。 递归语言是一种存在一个总是停止的TM的语言。 我在证明上述陈述时面临问题

---

正则语言被有限自动机所接受，它没有可用的内存。下推自动机接受上下文无关语言，它有一个用于内存的堆栈（支持push/pop）。递归语言是一种可以由图灵机决定的语言，图灵机具有（潜在的）无限内存磁带。正则语言是递归的，因为不使用磁带就可以使TM等效于FA。上下文无关语言是递归的，因为通过将磁带用作堆栈，您可以使TP等效于PDA：只读取和写入最后一个非空符号。这缺乏细节，但可以成为您要求证明的索赔的严格证据。

欢迎使用StackOverflow。请阅读并遵循帮助文档中的发布指南。在这里申请。StackOverflow不是设计、编码、研究或辅导服务。我投票将这个问题作为离题题来结束，因为它是关于纯CS理论的，因此更适合在CS.stackexchange.com上讨论。