上游充通大￥基于图灵机的计算机病毒的计算模型 SHANGHAI JIAO TONG UNIVERSITY a a, a B B 基本图灵机(TM) ©图灵机的经典问题： 有限控制器 ·图灵机停机问题 ·图灵机存在不可计 程序 算数 1RB t01©7h021c71o21028s 停机 B 当前状态基于图灵机的计算机病毒的计算模型 基本图灵机(TM) 图灵机的经典问题： • 图灵机停机问题 • 图灵机存在不可计 算数