In this paper, we first introduce a new lower hound technique for the state complexity of transformations of automata. Namely we suggest considering the class of full automata in lower bound analysis. Then we apply such technique to the complementation of nondeterministic ω-automata and obtain several lower bound results. Particularly, we prove an Ω((0.76n) n) lower bound for Büchi complementation, which also holds for almost every complementation and determinization transformation of nondeterministic w-automata, and prove an optimal (Ω(nfc)) n lower bound for the complementation of generalized Büchi automata, which holds for Streett automata as well. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Yan, Q. (2006). Lower bounds for complementation of ω-automata via the full automata technique. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4052 LNCS, pp. 589–600). Springer Verlag. https://doi.org/10.1007/11787006_50
Mendeley helps you to discover research relevant for your work.