On directable nondeterministic trapped automata

Imreh, Balázs and Imreh, Csanád and Ito, Masami: On directable nondeterministic trapped automata. Acta cybernetica, (16) 1. pp. 37-45. (2003)

[img] Cikk, tanulmány, mű

Download (872kB)


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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2003
Volume: 16
Number: 1
Page Range: pp. 37-45
ISSN: 0324-721X
Language: angol
Uncontrolled Keywords: Természettudomány, Informatika
Additional Information: Bibliogr.: p. 44-45.; Abstract
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2018. Apr. 10. 15:58
URI: http://acta.bibl.u-szeged.hu/id/eprint/12707

Actions (login required)

View Item View Item