Decidability of Right One-Way Jumping Finite Automata

Simon Beier, Markus Holzer 0001. Decidability of Right One-Way Jumping Finite Automata. Int. J. Found. Comput. Sci., 31(6):805-825, 2020. [doi]

Abstract

Abstract is missing.