08 图灵 一套抽象符号操作“图灵机”