Computation of Partial Automata Through Span Composition

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 Grp is given and partial automata are constructed from Grp. With a simple categorical operation, computations of partial automata are given and can be seen as a part of the structure of partial automata. Keyworks: computation, partial automata, Category Theory.

• Type: Conference
• Year: 2005
• Where: EUROCAST
• Authors: Karina Roggia, Marnes Hoff, Paulo Blauth Menezes
• Keywords: EUROCAST 2005, Partial Automata, Partial Graphs, Simple Categorical Operation