Correções dos automatos.