Operational State Complexity and Decidability of Jumping Finite Automata

Simon Beier, Markus Holzer 0001, Martin Kutrib. Operational State Complexity and Decidability of Jumping Finite Automata. Int. J. Found. Comput. Sci., 30(1):5-27, 2019. [doi]

Abstract

Abstract is missing.