Library Open Repository
On congruences of automata defined by directed graphs
Kelarev, A and Sokratova, O (2003) On congruences of automata defined by directed graphs. Theoretical Computer Science, 301 (1). pp. 31-43.
congruences.pdf | Download (243kB)
Available under University of Tasmania Standard License.
Graphs and various objects derived from them are basic essential tools that have been actively used in various branches of modern theoretical computer science. In particular, graph grammars and graph transformations have been very well explored in the literature. We consider finite state automata defined by directed graphs, characterize all their congruences, and give a complete description of all automata of this type satisfying three properties for congruences introduced and considered in the literature by analogy with classical semisimplicity conditions that play important roles in structure theory.
|Keywords:||directed graphs, finite state automata|
|Journal or Publication Title:||Theoretical Computer Science|
|Page Range:||pp. 31-43|
|Date Deposited:||18 Feb 2005|
|Last Modified:||18 Nov 2014 03:10|
|Item Statistics:||View statistics for this item|
Repository Staff Only (login required)
|Item Control Page|