Equivalence of Mealy and Moore automata

Babcsányi István: Equivalence of Mealy and Moore automata. In: Acta cybernetica, (14) 4. pp. 541-552. (2000)

Előnézet

Cikk, tanulmány, mű cybernetica_014_numb_004_541-552.pdf Letöltés (705kB) | Előnézet

Absztrakt (kivonat)

It is proved here that every Mealy automaton is a liomomorphic image of a Moore automaton, and among these Moore automata (up to isomorphism) there exists a unique one which is a homomorphic image of the others. A unique simple Moore automaton M is constructed (up to isomorphism) in the set MO(A) of all Moore automata equivalent to a Mealy automaton A such that M is a homomorphic image of every Moore automaton belonging to MO{A). By the help of this construction, it can be decided in steps |X|k that automaton mappings inducing by states of a k-uniform finite Mealy [Moore] automaton are equal or not. The structures of simple k-uniform Mealy [Moore] automata are described by the results of [1]. It gives a possibility for us to get the k-uniform Mealy [Moore] automata from the simple k-uniform Mealy [Moore] automata. Based on these results, we give a construction for finite Mealy [Moore] automata.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2000
Kötet:	14
Szám:	4
ISSN:	0324-721X
Oldalak:	pp. 541-552
Nyelv:	angol
Kiadás helye:	Szeged
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38510/
Kulcsszavak:	Számítástechnika, Kibernetika, Automaták
Megjegyzések:	Bibliogr.: p. 551-552. ; ö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:25
Utolsó módosítás:	2022. jún. 14. 10:20
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12648

Bővebben:

Tétel nézet