結果 : non deterministic pda example