On congruences of automata defined by directed graphs

Theoretical Computer Science

Volumn 301, Issue 1-3, 2003, Pages 31-43

  Kelarev, A V ^a   Sokratova, O V ^b  

^a UNIVERSITY OF TASMANIA   (Australia)

^b UNIVERSITY OF TARTU   (Estonia)

Author keywords

Automata; Congruences; Directed graphs

Indexed keywords

ALGEBRA; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS;

DIRECTED GRAPHS;

COMPUTER SCIENCE;

EID: 0038666412     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00544-3     Document Type: Article

References (14)

1. Baker K., McNulty G.F., Werner H. Finitely based varieties of graph algebras. Acta Sci. Math. 51:1987;3-15.
2. Berstel J. Finite automata and rational languages: an introduction. Formal Properties of Finite Automata and Applications. Lecture Notes in Computer Science. Vol. 386:1989;2-14 Springer, New York.
3. H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Handbook of Graph Grammars and Computing by Graph Transformation, Vols. 1, 2, World Scientific Publishing, River Edge, NJ, 1999.
4. Gardner B.J. Radical Theory. 1989;Longman, Pitman, New York, London.
5. Kelarev A.V., Sokratova O.V. Languages recognized by a class of finite automata. Acta Cybernet. 15:2001;45-52.
6. Kiss E.W., Pöschel R., Pröhle P. Subvarieties of varieties generated by graph algebras. Acta Sci. Math. 54:1990;57-75.
7. Lallement G. Semigroups and Combinatorial Applications. 1979;Wiley, New York.
8. S. Oates-Williams, Graphs and Universal Algebra, Lecture Notes in Mathematics, Vol. 884, Springer, Berlin, 1981, pp. 351-354.
9. Oehmke R.H. On semisimplicity for automata. Ito M. Words, Languages and Combinatorics (Kyoto). 1990;373-384 World Scientific, Singapore.
10. Oehmke R.H. Automata with complemented lattices of congruences. Ito M., Jurgensen H. Words, Languages and Combinatorics (Kyoto). 1992;294-300 World Scientific, Singapore.
11. Oehmke R.H. The direct product of right congruences. Korean J. Comput. Appl. Math. 5(3):1998;475-480.
12. Pöschel R. The equational logic for graph algebras. Z. Math. Logik Grundlag Math. 35(3):1989;273-282.
13. Pöschel R. Graph algebras and graph varieties. Algebra Universalis. 27(4):1990;559-577.
14. G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 1-3, Springer, New York, 1997.