A FINITE AXIOMATISATION OF FINITE-STATE AUTOMATA USING STRING DIAGRAMS

被引：0

作者：

Piedeleu, Robin ^{[1
]}

Zanasi, Fabio ^{[1
,2
]}

机构：

[1] UCL, London, England

[2] Univ Bologna, Bologna, Italy

来源：

LOGICAL METHODS IN COMPUTER SCIENCE | 2023年 / 19卷 / 01期

关键词：

string diagrams; finite-state automata; symmetric monoidal category; complete axiomatisation; ALGEBRA;

D O I：

10.46298/LMCS-19(1:13)2023

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页数：38

共 50 条

[1] A String Diagrammatic Axiomatisation of Finite-State Automata
Piedeleu, Robin
Zanasi, Fabio
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021, 2021, 12650 : 469 - 489
[2] Smaller representations for finite-state transducers and finite-state automata
Roche, E
COMBINATORIAL PATTERN MATCHING, 1995, 937 : 352 - 365
[3] Rough finite-state automata
Basu, S
CYBERNETICS AND SYSTEMS, 2005, 36 (02) : 107 - 124
[4] Motion Controlling Using Finite-State Automata
Jaluvka, Michal
Volna, Eva
Kotyrba, Martin
INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2019, PT II, 2019, 11432 : 455 - 464
[5] FINITE-STATE AUTOMATA IN INFORMATION TECHNOLOGIES
Kryvyi, S. L.
CYBERNETICS AND SYSTEMS ANALYSIS, 2011, 47 (05) : 669 - 683
[6] FUNCTIONAL EQUIVALENCE OF FINITE-STATE AUTOMATA
LETICHEV.AA
DOKLADY AKADEMII NAUK SSSR, 1969, 185 (01): : 58 - &
[7] Deterministic chaotic finite-state automata
Moatsum Alawida
Azman Samsudin
Je Sen Teh
Wafa’ Hamdan Alshoura
Nonlinear Dynamics, 2019, 98 : 2403 - 2421
[8] FORMALIZATION OF SYNTHESIS OF FINITE-STATE AUTOMATA
VOROBYEV, SA
TELECOMMUNICATIONS AND RADIO ENGINEERING, 1990, 45 (10) : 22 - 32
[9] Deterministic chaotic finite-state automata
Alawida, Moatsum
Samsudin, Azman
Teh, Je Sen
Alshoura, Wafa' Hamdan
NONLINEAR DYNAMICS, 2019, 98 (03) : 2403 - 2421
[10] Irreversibility and dissipation in finite-state automata
Ganesh, Natesh
Anderson, Neal G.
PHYSICS LETTERS A, 2013, 377 (45-48) : 3266 - 3271

← 1 2 3 4 5 →