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 (6)
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
This page was built for publication: A categorical framework for finite state machines
