（）是一种抽象计算模型，仅是解决数学问题的理想化机器，其基本思想是用机器来模拟人们用纸笔进行数学运算的过程。