Simulator of nondeterministic finite automaton with epsilon moves