Deterministic Two-Way One-Head Pushdown Automata are Very Powerful

Abstract We show that if a language over a two-letter alphabet belongs to P , then its unary encoding belongs to 2DPDA(1).