RUS  ENG
Full version
JOURNALS // Diskretnyi Analiz i Issledovanie Operatsii // Archive

Diskretn. Anal. Issled. Oper., 2012 Volume 19, Issue 2, Pages 3–18 (Mi da679)

This article is cited in 2 papers

Decidability conditions for problems about automata reading infinite words

M. N. Vyalyia, A. A. Rubtsovb

a Dorodnicyn Computing Centre, RAS, Moscow, Russia
b Moscow Institute of Physics and Technology, Dolgoprudny, Russia

Abstract: We consider two algorithmic problems related to the automata on infinite words: does an automaton reach an accepting state while reading an infinite word and does this event occurs infinitely often. The former problem is related to generalized nondeterminism models and the latter, to decidability of monadic second order theories. The main contribution is a new decidability condition for these problems. We also show that decidability of a regular realizability problem (satisfiability of a regular property on a set of words) is equivalent to decidability of the first problem. Bibliogr. 11.

Keywords: infinite word, regular language, algorithmic decidability, monadic theory.

UDC: 510.53

Received: 06.06.2011
Revised: 09.09.2011



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024