论文信息 - On the Complementation of Büchi Automata - 字舞流文

On the Complementation of Büchi Automata

Abstract Given a Buchi automaton with n states, we propose an elementary construction of a Buchi automaton with O(16 n 2 ) states which recognizes the complement of the ω-language recognized by the first one.

Jean-Pierre Pécuchet

[1] Dominique Perrin,et al. Varietes de Semigroupes et Mots Infinis , 1983, ICALP.

[2] Pierre Wolper,et al. The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract) , 1985, ICALP.

[3] Jean-Pierre Pécuchet. Variétés de Semis Groupes et Mots Infinis , 1986, STACS.

[4] Jean-Pierre Pécuchet. Automates Boustrophédon et Mots Infinis , 1985, Theor. Comput. Sci..

[5] S. Shelah,et al. The monadic theory of ω 2 , 1983 .

[6] Yaacov Choueka,et al. Theories of Automata on omega-Tapes: A Simplified Approach , 1974, J. Comput. Syst. Sci..

[7] Robert McNaughton,et al. Testing and Generating Infinite Sequences by a Finite Automaton , 1966, Inf. Control..