Corrige formato de problema CS con automata.