他将人们进行计算时的行为抽象为一个模型，这个模型就是图灵机