|
Avtomatika i Telemekhanika, 1974, Issue 3, Pages 109–114
(Mi at8325)
|
|
|
|
Automata
On the interdependence of the coverability relation and homomorphism in the case of deterministic automata
E. K. Kornoushenko Moscow
Abstract:
The necessary and sufficient conditions are found under which from the relation $A \leqslant B$ follows the existence of homomorphism of the automaton $A$ to the automaton $B$ and a procedure for finding this algorithm is described.
Received: 02.02.1973
Citation:
E. K. Kornoushenko, “On the interdependence of the coverability relation and homomorphism in the case of deterministic automata”, Avtomat. i Telemekh., 1974, no. 3, 109–114; Autom. Remote Control, 35:3 (1974), 442–446
Linking options:
https://www.mathnet.ru/eng/at8325 https://www.mathnet.ru/eng/at/y1974/i3/p109
|
Statistics & downloads: |
Abstract page: | 98 | Full-text PDF : | 39 |
|