1-way stack automaton with jumps
scientific article; zbMATH DE number 3478784