Correción de bugs en la máquina de estados