refactoring
epsilon is not a part of the alphabet