该论文针对当前最先进的计算机病毒——变形病毒（metamorphic viruses）提出了一种数学层面的形式化建模与检测挑战。变形病毒具有独特的自我变异能力，能够将自身代码几乎无限地改写为大量高度不同的副本，同时保持相同的恶意功能。这种变形能力结合其他高级混淆技术，使得它们几乎无法被当前市场上的防病毒软件检测。论文的核心贡献在于证明，通过采用 van Wijngaarden 文法（一种形式语法，具有极强的生成能力），可以完全实现病毒行为上的变形特性。具体而言，作者构造了一种文法，其生成的语言恰好对应于所有变形病毒的可能形态集合。由此，防病毒软件所面临的挑战被转化为：需要构建一个能够判定该文法所生成语言的图灵机。该文将病毒检测问题提升到了计算理论层面，指出通用检测在理论上不可判定，而实际检测则受限于特定变形的识别能力。文章适合关注恶意代码演化、形式语言与自动机理论在安全中应用的研究人员阅读，也为下一代检测技术（如基于语义的检测）提供了理论基础。