Mario Román

❯

❯

Automata

Mar 10, 20231 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

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID