保持树状通信拓扑的重配置语言的分布性
形式语言与自动机理论
2024-08-21 v1
摘要
我们研究了在进程通过可重配置通信信道进行通信的环境中，如何分布迹语言。也就是说，不同的进程可以在运行时连接和断开信道。我们关注通过树状通信架构进行的通信。这些架构允许信道以保持底层生成树并在树上保持通信连续性的方式连接两个以上的进程。我们在语言中明确地表达了重配置，使得集中式自动机和分布式进程都能共享关于当前通信配置的相关信息。我们表明，Zielonka关于异步自动机正则语言分布的经典结果可以在此设置中推广，同时纳入重配置和超过二叉树的架构。
关键词
引用
@article{arxiv.2408.10708,
title = {Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology},
author = {Daniel Hausmann and Mathieu Lehaut and Nir Piterman},
journal= {arXiv preprint arXiv:2408.10708},
year = {2024}
}