Clean method for RE, Pre-defd. automaton for epsilon word