Abstract
We study the relationship between the sizes of two-way finite automata accepting a language and its complement. In the deterministic case, by adapting Sipser’s method, for a given automaton (2dfa) with n states we build an automaton accepting the complement with at most 4n states, independently of the size of the input alphabet. Actually, we show a stronger result, by presenting an equivalent 4n–state 2dfa that always halts.
For the nondeterministic case, using a variant of inductive counting, we show that the complement of a unary language, accepted by an n–state two-way automaton (2nfa), can be accepted by an O(n 8)–state 2nfa. Here we also make the 2nfa halting. This allows the simulation of unary 2nfa’s by probabilistic Las Vegas two-way automata with O(n 8) states.
This work was partially supported by the Science and Technology Assistance Agency under contract APVT-20-004104, by the Slovak Grant Agency for Science (VEGA) under contract “Combinatorial Structures and Complexity of Algorithms”, and by MIUR under the projects FIRB “Descriptional complexity of automata and related structures” and COFIN “Linguaggi formali e automi: metodi, modelli e applicazioni”
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dietzelfelbinger, M., Kutylowski, M., Reischuk, R.: Exact lower bounds for computing Boolean functions on CREW PRAMs. J. Comput. System Sci. 48, 231–254 (1994)
Geffert, V.: Tally versions of the Savitch and Immerman-Szelepcsényi theorems for sublogarithmic space. SIAM J. Comput. 22, 102–113 (1993)
Geffert, V., Mereghetti, C., Pighizzini, G.: Converting two-way nondeterministic automata into simpler automata. Theoret. Comput. Sci. 295, 189–203 (2003)
Goldstine, J., Kappes, M., Kintala, C., Leung, H., Malcher, A., Wotschke, D.: Descriptional complexity of machines with limited resources. J. Universal Comput. Sci. 8, 193–234 (2002)
Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
Hromkovič, J., Schnitger, G.: On the power of Las Vegas II: Two-way finite automata. Theoret. Comput. Sci. 262, 1–24 (2001)
Immerman, N.: Nondeterministic space is closed under complementation. SIAM J. Comput. 17, 935–938 (1988)
Jirásek, J., Jirásková, G., Szabari, A.: State complexity of concatenation and complementation of regular languages. In: Domaratzki, M., Okhotin, A., Salomaa, K., Yu, S. (eds.) CIAA 2004. LNCS, vol. 3317, pp. 132–142. Springer, Heidelberg (2005)
Kondacs, A., Watrous, J.: On the power of quantum finite state automata. In: Proc. 38th Symp. Found. Comp. Sci. (FOCS 1997), pp. 66–75. IEEE Computer Society Press, Los Alamitos (1997)
Mera, F., Pighizzini, G.: Complementing unary nondeterministic automata. Theoret. Comput. Sci. 330, 349–360 (2005)
Mereghetti, C., Pighizzini, G.: Two-way automata simulations and unary languages. J. Aut. Lang. Combin. 5, 287–300 (2000)
Meyer, A., Fischer, M.: Economy of description by automata, grammars, and formal systems. In: Proc. 12th Ann. IEEE Symp. on Switching and Automata Theory, pp. 188–191 (1971)
Moore, C., Crutchfield, J.: Quantum automata and quantum grammars. Theoret. Comput. Sci. 237, 275–306 (2000)
Moore, F.: On the bounds for state-set size in the proofs of equivalence between deterministic, nondeterministic and two-way finite automata by deterministic automata. IEEE Trans. Comput. C-20, 1211–1219 (1971)
Rabin, M.O.: Probabilistic automata. Inform. & Control 6, 230–245 (1963)
Sakoda, W., Sipser, M.: Nondeterminism and the size of two-way finite automata. In: Proc. 10th ACM Symp. Theory of Computing, pp. 275–86 (1978)
Sipser, M.: Lower bounds on the size of sweeping automata. J. Comput. System Sci. 21, 195–202 (1980)
Sipser, M.: Halting space bounded computations. Theoret. Comput. Sci. 10, 335–338 (1980)
Szelepcsényi, R.: The method of forced enumeration for nondeterministic automata. Acta Inform. 26, 279–284 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Geffert, V., Mereghetti, C., Pighizzini, G. (2005). Complementing Two-Way Finite Automata. In: De Felice, C., Restivo, A. (eds) Developments in Language Theory. DLT 2005. Lecture Notes in Computer Science, vol 3572. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11505877_23
Download citation
DOI: https://doi.org/10.1007/11505877_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26546-7
Online ISBN: 978-3-540-31682-4
eBook Packages: Computer ScienceComputer Science (R0)