Modificaciones para generación de AFD