Mealy-automata in which the output-equivalence is a congruence

Every Mealy-automaton whose output equivalence is not the universal relation has a non-trivial simple state-homomorphic image. Thus the simple Mealy-automata play an importante role in the theory of Mealy-automata. It is very difficult to describe the structure of these automata. Contrary to the ear...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Babcsányi István
Nagy Attila
Dokumentumtípus: Cikk
Megjelent: 1994
Sorozat:Acta cybernetica 11 No. 3
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12524
Leíró adatok
Tartalmi kivonat:Every Mealy-automaton whose output equivalence is not the universal relation has a non-trivial simple state-homomorphic image. Thus the simple Mealy-automata play an importante role in the theory of Mealy-automata. It is very difficult to describe the structure of these automata. Contrary to the earlier investigations, in our present paper we concentrate our attention only to a special kind of simplicity, namely the strongly simplicity. Besides we give a construction for strongly simple Mealy-automata, we also describe the structure of all Mealy-automata which have strongly simple state-homomorphic image.
Terjedelem/Fizikai jellemzők:121-126
ISSN:0324-721X