A categorical framework for finite state machines
From MaRDI portal
Publication:4814188
DOI10.1017/S0960129503003931zbMath1085.68095OpenAlexW2128702639MaRDI QIDQ4814188
No author found.
Publication date: 7 September 2004
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129503003931
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)
Related Items
Arrows of Times, Non Integer Operators, Self-Similar Structures, Zeta Functions and Riemann Hypothesis: a Synthetic Categorical Approach, Can a Quantum Computer Run the von Neumann Architecture?, Towards a typed Geometry of Interaction, Machine semantics, The monoidal structure of Turing machines, A categorical model for the geometry of interaction