Finite Automata With Epsilon Transitions