結果 : deterministic push down automata with example