A String Diagrammatic Axiomatisation of Finite-State Automata.

Robin Piedeleu Fabio Zanasi

Published in: FoSSaCS (2021)

Keyphrases

finite state automata
finite state machines
functional dependencies
hybrid automata
modal logic
inference rules
pattern matching
integrity constraints
reinforcement learning
sequence data