Information and Computation
Categories, types, and structures: an introduction to category theory for the working computer scientist
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Automata and Algebras in Categories
Automata and Algebras in Categories
Automata and Coinduction (An Exercise in Coalgebra)
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Hi-index | 0.00 |
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs $\mathcal{G}r_{p}$ is given and partial automata are constructed from $\mathcal{G}r_{p}$. With a simple categorical operation, computations of partial automata are given and can be seen as a part of the structure of partial automata.