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

Babcsányi István; Nagy Attila: Mealy-automata in which the output-equivalence is a congruence. In: Acta cybernetica, (11) 3. pp. 121-126. (1994)

[thumbnail of cybernetica_011_numb_003_121-126.pdf]
Előnézet
Cikk, tanulmány, mű
cybernetica_011_numb_003_121-126.pdf

Letöltés (563kB) | Előnézet

Absztrakt (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.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 1994
Kötet: 11
Szám: 3
ISSN: 0324-721X
Oldalak: pp. 121-126
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38497/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: 126. p. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:26
Utolsó módosítás: 2022. jún. 13. 11:22
URI: http://acta.bibl.u-szeged.hu/id/eprint/12524
Bővebben:
Tétel nézet Tétel nézet