結果 : deterministic pda example