A Finite Axiomatisation of Finite-State Automata Using String Diagrams.

Robin Piedeleu Fabio Zanasi

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

finite state automata
finite state machines
hybrid automata
finite automata
regular expressions
regular languages
modal logic
inference rules
functional dependencies
query processing
context free grammars