Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
pieces
❯
Automata
Automata
Apr 29, 2025
1 min read
monoidal Mealy machine
automata as functors
Graph View
Backlinks
Automata over a quantale
Bicategories of Processes (Katis, Sabadini, Walters, 1997)
Closure of simulation relation
Comagmas in magmas
Decorating bicategories of processes
Functional morphisms of probabilistic automata are bisimulations
Quotient of IO transition systems
Simulation simplifies bisimulation
Automata as functors
bimodular automata
Monoidal Mealy machines