One-Turn Regulated Pushdown Automata and Their Reduction. - Alexander Meduna; Duwan Koláq (Fundam. Informaticae, 2002)