计数器机与分布式自动机：关于空间与时间交换的故事
形式语言与自动机理论
2018-07-03 v1 分布式、并行与集群计算
摘要
我们证明了两类计数器机与一类分布式自动机之间的等价性。我们的计数器机在有限词上操作，从左到右读取这些词，同时递增或递减固定数量的计数器。这两类机器的区别在于它们提供的额外特性：一类允许复制计数器值，而另一类允许计算无复制的计数器之和。另一方面，我们的分布式自动机在表示词的定向路径图上操作。路径的所有节点同步执行同一个有限状态机，其状态图除自环外必须是无环的，并且每个节点接收其直接前驱的状态作为输入。这些设备构成了线性时间单向元胞自动机的一个子类。
引用
@article{arxiv.1804.03582,
title = {Counter Machines and Distributed Automata: A Story about Exchanging Space and Time},
author = {Olivier Carton and Bruno Guillon and Fabian Reiter},
journal= {arXiv preprint arXiv:1804.03582},
year = {2018}
}
备注
15 pages (+ 13 pages of appendices), 5 figures; To appear in the proceedings of AUTOMATA 2018;