Automata with finite congruence lattices

In this paper we prove that if the congruence lattice of an automaton A is finite then the endomorphism semigroup E(A) of A is finite. Moreover, if A is commutative then A is A-finite. We prove that if 3 ≤ |A| then a commutative automaton A is simple if and only if it is a cyclic permutation automat...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerző: Babcsányi István
Dokumentumtípus: Cikk
Megjelent: 2007
Sorozat:Acta cybernetica 18 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12808
LEADER 01158nab a2200217 i 4500
001 acta12808
005 20220616105532.0
008 161015s2007 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Babcsányi István 
245 1 0 |a Automata with finite congruence lattices  |h [elektronikus dokumentum] /  |c  Babcsányi István 
260 |c 2007 
300 |a 155-165 
490 0 |a Acta cybernetica  |v 18 No. 1 
520 3 |a In this paper we prove that if the congruence lattice of an automaton A is finite then the endomorphism semigroup E(A) of A is finite. Moreover, if A is commutative then A is A-finite. We prove that if 3 ≤ |A| then a commutative automaton A is simple if and only if it is a cyclic permutation automaton of prime order. We also give some results concerning cyclic, strongly connected and strongly trap-connected automata. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika 
856 4 0 |u http://acta.bibl.u-szeged.hu/12808/1/Babcsanyi_2007_ActaCybernetica.pdf  |z Dokumentum-elérés