Nondeterministic finite automaton with ε-moves (NFA-ε)