论文标题
使用弦图的有限状态自动机的有限公理化
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
论文作者
论文摘要
我们基于将其通常的状态转移图形表示作为字符串图的二维语法，开发出有限状态自动机的完全示意方法。在这种情况下，我们能够为语言等价提供完整的方程理论，并具有两个显着的特征。首先，提出的公理化是有限的。其次，克莱恩之星是一个衍生的概念，因为它可以分解为更原始的代数块。
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.
