結果 : non deterministic pushdown automata solved examples