图灵机的基本思想是用___来模拟人们用纸笔进行数学运算的过程。