Theoretical Computer Science
Concatention of inputs in a two-way automation
Theoretical Computer Science
Introduction to Computer Theory
Introduction to Computer Theory
Automata and Languages
Basic techniques for two-way finite automata
Proceedings of the LITP Spring School on Theoretical Computer Science: Formal Properties of Finite Automata and Applications
Retracting Some Paths in Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Theoretical Computer Science
From Geometry of Interaction to Denotational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
UC'11 Proceedings of the 10th international conference on Unconventional computation
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Identities in modular arithmetic from reversible coherence operations
RC'13 Proceedings of the 5th international conference on Reversible Computation
Hi-index | 0.00 |
We provide a consistent way of looking at a range of finite state machines and their algebraic models. Our claim is that the natural representation of transitions of finite state machines is in terms of monoid homomorphisms, and distinct generalisation processes that can be applied to finite state machines correspond to distinct categorical generalisation processes at the level of the algebraic models.The generalisations we consider are those from deterministic to non-deterministic machines, from one-way to two-way machines, and from read-only machines to read/write machines. Hence the finite state machines we consider, and provide algebraic models for, are (deterministic and non-deterministic) finite state automata, two-way automata, Mealy machines, and bounded Turing machines.The categorical constructions corresponding to these generalisation processes are, respectively: altering the base category from functions to relations, applying the Geometry of Interaction, or Int construction, and a categorical process, which we refer to as the Comp construction, that uses the tensor on monoidal categories to construct graded categories.