We develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. In this setting, we are able to provide a complete equational theory for language equivalence, with two notable features. First, the proposed axiomatisation is finite. Second, the Kleene star is a derived concept, as it can be decomposed into more primitive algebraic blocks.
翻译：我们开发了一种完整的图表化方法来应对有限的州自治数据, 其基础是重新将通常的状态- 过渡图形表达方式解释为字符串图的二维语法。 在这种背景下, 我们可以为语言等同提供一个完整的等式理论, 有两个显著的特征。 首先, 拟议的非对称是有限的。 其次, Kleene 恒星是一个衍生的概念, 因为它可以分解成更原始的代数区块 。
相关内容
Notability 是一款功能强大的备注记录软件，可用于注释文稿、草拟想法、录制演讲、记录备注等。它将键入、手写、录音和照片结合在一起，便于您根据需要创建相应的备注。在 iCloud 的支持下，您的备注在 iPad、iPhone 和 Mac 上将始终可用。晨昏相伴，如影随行。
Arxiv
0+阅读 · 2023年3月31日
Arxiv
0+阅读 · 2023年3月31日
相关主题
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2023年3月31日
Arxiv
0+阅读 · 2023年3月31日
微信扫码咨询专知VIP会员