Por este motivo se ejecuta un análisis semántico para reconocer si el programa es correcto.