A categorical framework for finite state machines
From MaRDI portal
Publication:4814188
DOI10.1017/S0960129503003931zbMath1085.68095MaRDI 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
68Q45: Formal languages and automata
68Q70: Algebraic theory of languages and automata
18B20: Categories of machines, automata
Related Items
The monoidal structure of Turing machines, Arrows of Times, Non Integer Operators, Self-Similar Structures, Zeta Functions and Riemann Hypothesis: a Synthetic Categorical Approach, A categorical model for the geometry of interaction, Machine semantics, Can a Quantum Computer Run the von Neumann Architecture?, Towards a typed Geometry of Interaction