使用弦图的有限状态自动机有限公理化
计算机科学中的逻辑
2023-06-22 v3 形式语言与自动机理论
摘要
我们开发了一种完全图示化的有限状态自动机方法，该方法基于将其通常的状态转移图表示重新解释为弦图的二维语法。在此设置下，我们能够为语言等价性提供一个完备的等式理论，该理论具有两个显著特征。首先，所提出的公理化是有限的。其次，Kleene 星是一个导出概念，因为它可以被分解为更基本的代数构建块。
引用
@article{arxiv.2211.16484,
title = {A Finite Axiomatisation of Finite-State Automata Using String Diagrams},
author = {Robin Piedeleu and Fabio Zanasi},
journal= {arXiv preprint arXiv:2211.16484},
year = {2023}
}
备注
arXiv admin note: text overlap with arXiv:2009.14576