Babcsányi István; Nagy Attila: Right group-type automata. In: Acta cybernetica, (12) 2. pp. 131-136. (1995)
Előnézet |
Cikk, tanulmány, mű
cybernetica_012_numb_002_131-136.pdf Letöltés (412kB) | Előnézet |
Absztrakt (kivonat)
In this paper we deal with state-independent automata whose characteristic semigroups are right groups (left cancellative and right simple). These automata axe called right group-type automata. We prove that an A-finite automaton is state-independent if and only if it is right group-type. We define the notion of the right zero decomposition of quasi-automata and show that the state-independent automaton A is right group-type if and only if the quasi-automaton A*s corresponding to A is a right zero decomposition of pairwise isomorphic group-type quasi-automata. We also prove that the state-independent automaton A is right group-type if and only if the quasiautomaton A j corresponding to A is a direct sum of pairwise isomorphic strongly connected right group-type quasi-automata. We prove that if A is an A-finite state-independent automaton, then |S(A)| is a divisor of |AS(.i4)|. Finally, we show that the quasi-automaton A's corresponding to an A-finite state-independent automaton A is a right zero decomposition of pairwise isomorphic quasi-perfect quasi-automata if and only if |.AS(yl)| = |S(A)|.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 1995 |
| Kötet: | 12 |
| Szám: | 2 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 131-136 |
| Nyelv: | angol |
| Kiadás helye: | Szeged |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/38500/ |
| Kulcsszavak: | Számítástechnika, Kibernetika, Automaták |
| Megjegyzések: | Bibliogr.: 136. 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. 12:34 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/12550 |
![]() |
Tétel nézet |

