并行通信有限自动机中的通信测量
摘要：限制通信量的确定性有限自动机系统通过在请求时发送其状态进行研究。对于返回集中式系统的情况进行了计算能力和可决定性属性的研究，系统在计算过程中必要的通信数量受到以输入长度为依据的函数的限制。证明了存在无限层次的语言族，这取决于在其最经济的识别过程中发送的消息数量。此外，还证明了存在一些对于所考虑的系统而言不是半可决定的属性。
作者：Henning Bordihn, Martin Kutrib, Andreas Malcher
论文ID：1405.5600
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23