For citation:
Mangusheva I. P. Ordered automata and tolerant images of FDA. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2013, vol. 13, iss. 2, pp. 91-99. DOI: 10.18500/1816-9791-2013-13-2-1-91-99, EDN: SJJAZX
Ordered automata and tolerant images of FDA
Finite deterministic automaton (FDA) with partially ordered (an ordered automaton) sets of states, input and output symbols is described in the article. The mapping of FDA on an ordered automaton, which is named "p-morphism" is defined. It is shown that so called tolerant images, which are constructed with the help of compatible tolerances on the set of states of FDA, are particular case of ordered automata, which are connected with the original automaton by a p-morphism. Necessary and sufficient conditions are defined, under which an ordered automaton is a tolerant image of the original one.
- Mangusheva I. P. Morphismes based on compatible tolerances of finite automata. Izv. Sarat. Universiteta. N. S. Ser. Math. Mech. Inform., 2008, vol. 8, iss. 4, pp. 80–90 (in Russian).
- Bogomolov A. M., Saliy V. N. Algebraicheskie osnovy teorii diskretnykh sistem [Algebraic foundations of the theory of discrete systems]. Moscow, Nauka, 1997. 368 p. (in Russian). 3. Karpov U. G. Teoriia avtomatov [Automata theory]. St. Petersburg, Piter, 2003, 208 p. (in Russian).
- 1067 reads