結果 : non deterministic finite automata examples