当前位置:
X-MOL 学术
›
arXiv.cs.FL
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Equivalence checking for weak bi-Kleene algebra
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2018-07-05 , DOI: arxiv-1807.02102 Tobias Kapp\'e and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2018-07-05 , DOI: arxiv-1807.02102 Tobias Kapp\'e and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi
Pomset automata are an operational model of weak bi-Kleene algebra, which
describes programs that can fork an execution into parallel threads, upon
completion of which execution can join to resume as a single thread. We
characterize a fragment of pomset automata that admits a decision procedure for
language equivalence. Furthermore, we prove that this fragment corresponds
precisely to series-rational expressions, i.e., rational expressions with an
additional operator for bounded parallelism. As a consequence, we obtain a new
proof that equivalence of series-rational expressions is decidable.
中文翻译:
弱双克林代数的等价检验
Pomset 自动机是弱双克林代数的一种操作模型,它描述了可以将执行分叉到并行线程中的程序,完成后可以加入并作为单个线程继续执行。我们描述了一个 pomset 自动机的片段,该片段允许语言等价的决策过程。此外,我们证明这个片段精确地对应于级数有理表达式,即带有用于有界并行的附加运算符的有理表达式。因此,我们获得了一个新的证明,即级数有理表达式的等价性是可判定的。
更新日期:2020-03-27
中文翻译:
弱双克林代数的等价检验
Pomset 自动机是弱双克林代数的一种操作模型,它描述了可以将执行分叉到并行线程中的程序,完成后可以加入并作为单个线程继续执行。我们描述了一个 pomset 自动机的片段,该片段允许语言等价的决策过程。此外,我们证明这个片段精确地对应于级数有理表达式,即带有用于有界并行的附加运算符的有理表达式。因此,我们获得了一个新的证明,即级数有理表达式的等价性是可判定的。