non deterministic finite automata examples