Analizador semántico: declaración y uso de variables y funciones, verificación de parámetros en llamadas a funciones. Falta resolución y verificación de tipos.