6.1 图灵机的基本模型