Abstract
Automata operating on arbitrary graphs were introduced in a previous paper by virtue of a particular instance of an abelian relational graphoid. As it is indicated in the same paper, in order to construct a graph automaton it is necessary and sufficient that the relations over the Kleene star of the state set constitute a graphoid. In this respect, various different versions of graph automata arise corresponding to the specific relational graphoid that is employed. We prove that the generation of an abelian graphoid by a set Q implies the partitioning of Q into disjoint abelian groups and vise versa.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arbib, M.A., Give’on, Y.: Algebra automata I: Parallel programming as a prolegomena to the categorical approach. Inform. and Control 12, 331–345 (1968)
Arnold, A., Dauchet, M.: Théorie des magmoides. I. RAIRO Inform. Théor. 12, 235–257 (1978)
Arnold, A., Dauchet, M.: Théorie des magmoides. II. RAIRO Inform. Théor. 13, 135–154 (1979)
Bossut, F., Dauchet, M., Warin, B.: A Kleene theorem for a class of planar acyclic graphs. Inform. and Comput. 117, 251–265 (1995)
Bozapalidis, S., Kalampakas, A.: An axiomatization of graphs. Acta Informatica 41, 19–61 (2004)
Bozapalidis, S., Kalampakas, A.: Graph Automata. Theoretical Computer Science 393, 147–165 (2008)
Engelfriet, J., Vereijken, J.J.: Context-free graph grammars and concatenation of graphs. Acta Informatica 34, 773–803 (1997)
Gibbons, J.: An initial-algebra approach to directed acyclic graphs. In: Möller, B. (ed.) MPC 1995. LNCS, vol. 947, pp. 282–303. Springer, Heidelberg (1995)
Kamimura, T., Slutzki, G.: Parallel and two-way automata on directed ordered acyclic graphs. Inform. and Control 49, 10–51 (1981)
Kamimura, T., Slutzki, G.: Transductions of DAGS and trees. Math. Syst. Theory 15, 225–249 (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kalampakas, A. (2011). Graph Automata: The Algebraic Properties of Abelian Relational Graphoids. In: Kuich, W., Rahonis, G. (eds) Algebraic Foundations in Computer Science. Lecture Notes in Computer Science, vol 7020. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24897-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-24897-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24896-2
Online ISBN: 978-3-642-24897-9
eBook Packages: Computer ScienceComputer Science (R0)