1513图灵机 有限状态 控制器 带1 带2□… 带k7 15.1.3 图灵机