On skeleton automata
Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 76-78
Voir la notice de l'article provenant de la source Math-Net.Ru
A skeleton automaton is an automaton in which the relation of mutual accessibility of states is the identity relation. We prove that automata that admit a regular enumeration of states are exactly skeleton automata. It is shown how for a given automaton one can construct an automaton with minimal number of states that has the same subautomata lattice, and is necessarily a skeleton automaton. A procedure is proposed to obtain a skeleton automaton from a given automaton by removal of minimal number of arcs in its transition diagram.
@article{PDM_2011_13_a37,
author = {V. N. Salii},
title = {On skeleton automata},
journal = {Prikladna\^a diskretna\^a matematika},
pages = {76--78},
publisher = {mathdoc},
number = {13},
year = {2011},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/PDM_2011_13_a37/}
}
V. N. Salii. On skeleton automata. Prikladnaâ diskretnaâ matematika, no. 13 (2011), pp. 76-78. http://geodesic.mathdoc.fr/item/PDM_2011_13_a37/