Abstract
In a recent paper, Dobronravov et al. (“On the length of shortest strings accepted by two-way finite automata”, DLT 2019) prove that the shortest string in a language recognized by an n-state two-way finite automaton (2DFA) can be at least \(7^{n/5}-1\) symbols long, improved to \(10^{n/5}-1=\varOmega (1.584^n)\) in their latest contribution. The lower bound was obtained using “direction-determinate” 2DFA, which always remember their direction of motion at the last step, and used an alphabet of size \(\varTheta (n)\). In this paper, the method of Dobronravov et al. is extended to a new, more general class: the semi-direction-determinate 2DFA. This yields n-state 2DFA with shortest strings of length \(7^{n/4}-1=\varOmega (1.626^n)\). Furthermore, the construction is adapted to use a fixed alphabet, resulting in shortest strings of length \(\varOmega (1.275^n)\). It is also shown that an n-state semi-direction-determinate 2DFA can be transformed to a one-way NFA with \(O(\frac{1}{\sqrt{n}} 3^n)\) states.
Research supported by Russian Science Foundation, project 18-11-00100.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alpoge, L., Ang, T., Schaeffer, L., Shallit, J.: Decidability and shortest strings in formal languages. In: Holzer, M., Kutrib, M., Pighizzini, G. (eds.) DCFS 2011. LNCS, vol. 6808, pp. 55–67. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22600-7_5
Chistikov, D., Czerwiński, W., Hofman, P., Pilipczuk, M., Wehar, M.: Shortest paths in one-counter systems. In: Jacobs, B., Löding, C. (eds.) FoSSaCS 2016. LNCS, vol. 9634, pp. 462–478. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49630-5_27
Dobronravov, E., Dobronravov, N., Okhotin, A.: On the length of shortest strings accepted by two-way finite automata. In: Hofman, P., Skrzypczak, M. (eds.) DLT 2019. LNCS, vol. 11647, pp. 88–99. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-24886-4_6
Dobronravov, E., Dobronravov, N., Okhotin, A.: On the length of shortest strings accepted by two-way finite automata, revised full version, submitted
Ellul, K., Krawetz, B., Shallit, J., Wang, M.-W.: Regular expressions: new results and open problems. J. Automata Lang. Comb. 10(4), 407–437 (2005)
Geffert, V., Okhotin, A.: One-way simulation of two-way finite automata over small alphabets. In: NCMA 2013 (Umeå, vol. 13–14, Sweden, August 2013
Kapoutsis, C.: Removing bidirectionality from nondeterministic finite automata. In: Jȩdrzejowicz, J., Szepietowski, A. (eds.) MFCS 2005. LNCS, vol. 3618, pp. 544–555. Springer, Heidelberg (2005). https://doi.org/10.1007/11549345_47
Kapoutsis, C.A.: Two-way automata versus logarithmic space. Theory Comput. Syst. 55(2), 421–447 (2014)
Kozen, D.: Lower bounds for natural proof systems. In: FOCS 1977, pp. 254–266 (1977). http://dx.doi.org/10.1109/SFCS.1977.16
Kunc, M., Okhotin, A.: Reversibility of computations in graph-walking automata. In: Chatterjee, K., Sgall, J. (eds.) MFCS 2013. LNCS, vol. 8087, pp. 595–606. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40313-2_53
Pierre, L.: Rational indexes of generators of the cone of context-free languages. Theor. Comput. Sci. 95(2), 279–305 (1992). https://doi.org/10.1016/0304-3975(92)90269-L
Sloane, N.J.A. (ed.): The On-Line Encyclopedia of Integer Sequences, published electronically at https://oeis.org
Acknowledgement
The authors are grateful to the anonymous reviewers for careful reading and for pertinent remarks.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Krymski, S., Okhotin, A. (2020). Longer Shortest Strings in Two-Way Finite Automata. In: Jirásková, G., Pighizzini, G. (eds) Descriptional Complexity of Formal Systems. DCFS 2020. Lecture Notes in Computer Science(), vol 12442. Springer, Cham. https://doi.org/10.1007/978-3-030-62536-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-62536-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-62535-1
Online ISBN: 978-3-030-62536-8
eBook Packages: Computer ScienceComputer Science (R0)