initAutomata en la clase manager