递归语言 在数学逻辑和计算机科学中递归语言或遞迴語言是也叫做可判定语言或图灵可判定语言的形式语言类型所有递归语言的类经常被称为 R这种语言类型在乔姆斯基层级中没有定义