On directable nondeterministic trapped automata

A finite automaton is said to be directable if it has an input word, a directing word, which takes it from every state into the same state. For nondeterministic (n.d.) automata, directability can be generalized in several ways. In [8], three such notions, D1-, D2-, and D3-directability, are introduc...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Imreh Balázs
Imreh Csanád
Ito Masami
Testületi szerző: Conference for PhD Students in Computer Science (3.) (2002) (Szeged)
Dokumentumtípus: Cikk
Megjelent: 2003
Sorozat:Acta cybernetica 16 No. 1
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12707
LEADER 01553nab a2200253 i 4500
001 acta12707
005 20220614153845.0
008 161015s2003 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 Imreh Balázs 
245 1 3 |a On directable nondeterministic trapped automata  |h [elektronikus dokumentum] /  |c  Imreh Balázs 
260 |c 2003 
300 |a 37-45 
490 0 |a Acta cybernetica  |v 16 No. 1 
520 3 |a A finite automaton is said to be directable if it has an input word, a directing word, which takes it from every state into the same state. For nondeterministic (n.d.) automata, directability can be generalized in several ways. In [8], three such notions, D1-, D2-, and D3-directability, are introduced. In this paper, we introduce the trapped n.d. automata, and for each i = 1,2,3, present lower and upper bounds for the lengths of the shortest Di-directing words of n-state Di-directable trapped n.d. automata. It turns out that for this special class of n.d. automata, better bounds can be found than for the general case, and some of the obtained bounds are sharp. 
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 
700 0 1 |a Imreh Csanád  |e aut 
700 0 1 |a Ito Masami  |e aut 
710 |a Conference for PhD Students in Computer Science (3.) (2002) (Szeged) 
856 4 0 |u http://acta.bibl.u-szeged.hu/12707/1/cybernetica_016_numb_001_037-045.pdf  |z Dokumentum-elérés