病毒机器中的正规形式
计算与语言
2025-12-01 v3 形式语言与自动机理论
摘要
在本工作中，我们进一步研究病毒机器（简称 VMs）的计算能力。VMs 提供了一种受病毒传播和复制网络启发的计算范式。VMs 由通过有向图结构的处理单元（称为主机，其弧称为通道）以及控制病毒对象在主机间传输的指令图组成。本工作通过引入正规形式来补充我们对 VMs 计算能力的理解；这些表达限制了给定计算模型中的特征。我们在正规形式中限制的部分特征包括 主机的数量，(b) 指令的数量，以及 每个主机中病毒对象的数量。在回顾了关于 VMs 计算能力的一些已知结果之后，我们给出了一系列正规形式，例如网络中循环的大小，并证明了集合族的新刻画，例如有限集、半线性集或递归可枚举集（NRE）。
引用
@article{arxiv.2409.03327,
title = {Normal forms in Virus Machines},
author = {A. Ramírez-de-Arellano and F. G. C. Cabarle and D. Orellana-Martín and M. J. Pérez-Jiménez},
journal= {arXiv preprint arXiv:2409.03327},
year = {2025}
}
备注
24 pages, 14 figures