[论文解读] Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

Olivier Carton, Bruno Guillon+1 more|arXiv (Cornell University)|Apr 10, 2018

Cellular Automata and Applications参考文献 14被引用 5

一句话总结

本文建立了两类无求和计数机（具复制操作）与无复制计数机（具求和操作）之间，以及一类在有向路径图上运行的分布式自动机之间的表达等价性。通过利用空间与时间之间的对偶性，作者表明：使用线性空间和时间 n 的计数机，可识别与使用 n 空间和线性时间的分布式自动机相同的语言，方法是通过有限状态模拟，其中计数器编码状态转移历史。

ABSTRACT

We prove the equivalence of two classes of counter machines and one class of distributed automata. Our counter machines operate on finite words, which they read from left to right while incrementing or decrementing a fixed number of counters. The two classes differ in the extra features they offer: one allows to copy counter values, whereas the other allows to compute copyless sums of counters. Our distributed automata, on the other hand, operate on directed path graphs that represent words. All nodes of a path synchronously execute the same finite-state machine, whose state diagram must be acyclic except for self-loops, and each node receives as input the state of its direct predecessor. These devices form a subclass of linear-time one-way cellular automata.

研究动机与目标

• 研究受限操作（无求和 vs. 无复制）的计数机与具有准无环状态转移的分布式自动机的表达能力。
• 探索顺序计数机中的空间使用与分布式自动机中的时间使用之间的对偶性。
• 通过使用对计数器值进行有界访问的计数机模拟分布式自动机行为，建立这些模型之间的正式对应关系。
• 表明两种计数机变体与分布式自动机模型均识别同一类语言。
• 通过将它们与计数机模型关联，增进对细胞自动机与单向自动机中语言识别的理解。

提出的方法

• 构建一个计数机 M，以模拟具有准无环状态图的分布式自动机 A 在表示输入单词的路径图上的行为。
• 将每个节点在 A 中遍历的无限状态序列表示为有限对序列（状态, 值），其中值为 1、∞ 或计数器变量。
• 使用计数器编码状态转移序列中每个状态出现的次数，将值截断至 ℓ 以限制空间使用。
• 定义一个转移函数 τ，将当前状态与 ℓ 截断后的计数器值映射到下一状态与更新函数 ξ，确保无复制更新。
• 确保每个计数器变量在每次更新中最多使用一次，以保持无复制性质，且表达式中加法常数的界限为 ℓ。
• 通过证明推导出的状态序列在 ℓ 截断下与自动机行为一致，从而证明模拟正确保留了语言识别能力。

实验结果

研究问题

• RQ1 当两者均受限于计数器值的线性增长时，无求和计数机（具复制操作）是否能识别与无复制计数机（具求和操作）相同的语言？
• RQ2 是否存在顺序计数机中的空间使用与分布式自动机中的时间使用之间的正式对偶性？
• RQ3 能否用具有有界计数器访问与无复制更新的计数机来模拟具有准无环状态图的分布式自动机？
• RQ4 具有准无环状态图的分布式自动机在语言识别方面的表达能力是什么？
• RQ5 如何将路径图上分布式自动机的行为编码为带计数器的有限状态机？

主要发现

• 具有有界计数器访问的无求和与无复制计数机在表达能力上是等价的，识别同一类语言。
• 具有准无环状态图的分布式自动机可被无复制计数机模拟，且语言识别能力得以保持。
• 该模拟使用计数器编码分布式自动机执行中循环状态的出现次数，值被截断至 ℓ 以确保有限空间。
• 计数机中的转移函数是无复制的，每个计数器变量在每次更新中最多使用一次，且加法常数的界限为 ℓ。
• 该构造确保分布式自动机识别的语言与计数机接受的语言完全对应。
• 空间与时间之间的对偶性得到形式化：计数机使用时间 n 和线性空间，而分布式自动机使用空间 n 和线性时间，二者具有等价的表达能力。