图灵机

图灵机是一种理论上的计算机器，它作为数学计算的理想化模型。

图灵机是一个大学级别的概念，通常在计算理论课程中首次接触到。

算法:	算法是用于执行程序或解决问题的特定指令集，通常要求该程序在某个点终止。
递推关系:	递推关系是一种数学关系，它将序列的成员表示为其前项的某种组合。