Open Access Repository
On congruences of automata defined by directed graphs
Download Statistics
Downloads
Downloads per month over past year
Kelarev, A and Sokratova, O 2003
, 'On congruences of automata defined by directed graphs'
, Theoretical Computer Science, vol. 301, no. 1
, pp. 31-43
.
|
PDF
congruences.pdf | Download (243kB) Available under University of Tasmania Standard License. | Preview |
Official URL: http://www.sciencedirect.com/science/journal/03043...
Abstract
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.
Item Type: | Article |
---|---|
Authors/Creators: | Kelarev, A and Sokratova, O |
Keywords: | directed graphs, finite state automata |
Journal or Publication Title: | Theoretical Computer Science |
Publisher: | Elsevier |
Item Statistics: | View statistics for this item |
Actions (login required)
![]() |
Item Control Page |