結果 : deterministic pushdown automata solved examples