En los compiladores para lenguajes de alto nivel, son el último paso antes de generar el código ejecutable.