基于扩展通用图灵机的计算机病毒传染模型

在计算机基础理论模型———图灵机模型的基础上,提出了一种扩展的通用图灵机( EUTM) 模型,这种模型突出 了计算机病毒的传染特性,极大地简化了计算机病毒传染的形式描述,并根据EUTM 模型给出了计算机病毒的形式定 义,形式化描述了计算机病毒在单机和多机环境下的传染