当我们说递归可枚举语言是可识别的，递归语言是可通过车削机器接受的时，这两个术语之间有什么区别？TM Computable的含义是什么？
一种语言是递归的，当存在一个接受它的图灵机时，这意味着图灵机的计算对同一字母表上的每个输入单词都是有限的。TM将始终停止并接受或拒绝输入单词
递归==可判定
一种语言是递归可枚举的，如果存在一个识别它的图灵机。这个属性较弱。TM将接受属于该语言的单词，但如果单词不在该语言中，它可以拒绝或循环
递归语言集是递归可枚举语言的子集，因此每个递归语言也是递归可枚举的。
函数f:N→；如果存在一个图灵机，它得到二进制的数字N作为输入并输出f（N），则N是可计算的。输出是计算后写在磁带上的内容
这是纯粹的理论，将来最好拿起讲义/一本书；）