Non Deterministic Pda Example