Starting recfactor fo automata generator
Refactor and increased test converage of the automata generator
Rafactored and unit test Automatas generators