最小函数依赖集 偏移地址 输出函数 计算机病毒 8421码 逻辑蕴含 状态表 段地址 程序实体 函数依赖 可执行文件 属性集 程序头 函数依赖集闭包 最大等效类 属性集闭包 内存 逻辑时序电路 激励函数 状态图