非确定有限自动机的代数
形式语言与自动机理论
2024-02-02 v2 计算机科学中的逻辑
摘要
本文提出一种进程代数，其语义将项映射为非确定有限自动机（简称 NFA）。我们证明了一个可表示性定理：对每个 NFA ，存在一个进程代数项 ，使得其语义为一个同构于 的 NFA。此外，我们给出了语言等价的一个简洁公理化：两个 NFA 和 识别相同的语言，当且仅当相关的项 和 分别能够通过一组公理（包含 7 条公理加 3 条条件公理）相等。
引用
@article{arxiv.2301.03435,
title = {The Algebra of Nondeterministic Finite Automata},
author = {Roberto Gorrieri},
journal= {arXiv preprint arXiv:2301.03435},
year = {2024}
}