记录转移系统的连接：若干同余与语言理论结果
形式语言与自动机理论
2015-11-17 v1
摘要
记录Büchi自动机（BAR）已被提出作为Reo协调语言的基本操作语义。它是Büchi自动机的扩展，使用一组记录作为其字母表或转移标签。记录用于表达由BAR建模的被协调组件的外部可见动作之间的同步性。BAR集合上的主要组合算子称为join（连接），它是Reo中对应算子的语义。在本文中，我们定义记录标记转移系统的概念作为BAR概念的推广，抽象掉对字符串的接受或拒绝。然后，我们考虑记录标记转移系统集合上的四种等价关系（语义），并研究它们关于join组合算子的同余性。事实上，我们证明基于有限迹、基于无限迹和基于非确定有限自动机（NFA）的等价关系都是关于join操作的所有记录标记转移系统集合上的同余关系。然而，使用Büchi接受条件的等价关系则不是。此外，利用这些结果，我们引入考虑有限和无限字符串概念的join操作的语言理论定义。我们还表明，对于记录Büchi自动机上的join操作，不存在基于语言且与结构无关的定义。
引用
@article{arxiv.1511.05070,
title = {Joining Transition Systems of Records: Some Congruency and Language-Theoretic Results},
author = {Mohammad Izadi and Saeed Masoudian and Sahand Mozaffari},
journal= {arXiv preprint arXiv:1511.05070},
year = {2015}
}