Non Deterministic Pushdown Automata Examples