Abstract
The recently introduced one-way jumping automata are strictly more powerful than classical finite automata (FA) while maintaining decidability in most of the important cases. We investigate the extension of the new processing mode to two-way deterministic finite automata (2DFA), resulting in deterministic finite automata which can jump to the nearest letter they can read, with jumps allowed in either direction. We show that two-way jumping automata are strictly more powerful than one-way jumping ones and that alternative extensions of 2DFA with jumping mode lead to equivalent machines. We also prove that the class of languages accepted by the new model is not closed under the usual language operations. Finally we show how one could change the model to terminate on every input.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Beier, S., Holzer, M.: Decidability of right one-way jumping finite automata. In: Hoshi, M., Seki, S. (eds.) DLT 2018. LNCS, vol. 11088, pp. 109–120. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98654-8_9
Beier, S., Holzer, M.: Nondeterministic right one-way jumping finite automata (extended abstract). In: Hospodár, M., Jirásková, G., Konstantinidis, S. (eds.) DCFS 2019. LNCS, vol. 11612, pp. 74–85. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23247-4_5
Beier, S., Holzer, M.: Properties of right one-way jumping finite automata. Theoret. Comput. Sci. 798, 78–94 (2019)
Bensch, S., Bordihn, H., Holzer, M., Kutrib, M.: On input-revolving deterministic and nondeterministic finite automata. Inf. Comput. 207(11), 1140–1155 (2009)
Chigahara, H., Fazekas, S.Z., Yamamura, A.: One-way jumping finite automata. Int. J. Found. Comput. Sci. 27(3), 391–405 (2016)
Fazekas, S.Z., Hoshi, K., Yamamura, A.: Enhancement of automata with jumping modes. In: Castillo-Ramirez, A., de Oliveira, P.P.B. (eds.) AUTOMATA 2019. LNCS, vol. 11525, pp. 62–76. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-20981-0_5
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Boston (1979)
Jančar, P., Mráz, F., Plátek, M., Vogel, J.: Restarting automata. In: Reichel, H. (ed.) FCT 1995. LNCS, vol. 965, pp. 283–292. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60249-6_60
Meduna, A., Zemek, P.: Jumping finite automata. Int. J. Found. Comput. Sci. 23(7), 1555–1578 (2012). https://doi.org/10.1142/S0129054112500244
Nagy, B., Otto, F.: Finite-state acceptors with translucent letters. In: BILC 2011–1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology, ICAART 2011 – 3rd International Conference on Agents and Artificial Intelligence, pp. 3–13 (2011)
Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2), 114–125 (1959)
Shepherdson, J.C.: The reduction of two-way automata to one-way automata. IBM J. Res. Dev. 3(2), 198–200 (1959)
Sipser, M.: Introduction to the Theory of Computation, 2nd edn. Course Technology, Boston (2006)
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
Fazekas, S.Z., Hoshi, K., Yamamura, A. (2020). Two-Way Jumping Automata. In: Li, M. (eds) Frontiers in Algorithmics. FAW 2020. Lecture Notes in Computer Science(), vol 12340. Springer, Cham. https://doi.org/10.1007/978-3-030-59901-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-59901-0_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-59900-3
Online ISBN: 978-3-030-59901-0
eBook Packages: Computer ScienceComputer Science (R0)