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

Robin Piedeleu Fabio Zanasi

Published in: CoRR (2022)

Keyphrases

finite state automata
finite state machines
hybrid automata
modal logic
inference rules
functional dependencies
machine learning
relational databases
pattern matching