计算机病毒是这样一种程序,当它在一台计算机上执行时,能够利用该机器的资源生成自身的可能进化了的副本,每个副本可以通过某种方式传播到其他计算机中,并有机会得到执行.一个具体的病毒实例被称为病毒Agent,因为它在执行过程中能够在无用户干预的情况下自主进行动作选择,从而具有了基本的自治性.持久图灵机是一种描述顺序交互的正则模型,基于持久图灵机建立了一种病毒Agent的计算模型.该模型展现了计算机病毒的传染性本质,并且克服了传统图灵机病毒模型在表现交互性上的固有缺陷.在该模型的基础上,推导出一些与病毒Agent相关的有用定理.还讨论了利用细胞自动机进行病毒Agent动力学建模的问题,并得到了一些启发性的结论.