;1 {{lingüística}}: Estudio de la estructura del [[lenguaje]] y conjunto de reglas combinatorias de las palabras para formar unidades inteligibles mayores.
;2 {{informática}}: Conjunto de reglas formales que para un [[lenguaje de programación]] determinan si una secuencia de [[código fuente]] es un [[programa]] bien formado en este lenguaje.
:*'''Ejemplo:''' Los programas [[compilador]]es e [[intérprete]]s hacen una verificación de la sintaxis del código fuente e informan al usuario mediante mensajes de error la parte del código en donde se rompió alguna regla.