Simulator of deterministic pushdown automaton