Un programa que procesa unos datos de entrada para producir una salida que es usada como entrada en otro programa siguiendo una serie de reglas. Habitualmente un preprocesador se usa para realizar una fase de traducción de un código fuente antes del siguiente paso de compilación.

Los preprocesadores pueden ser categorizados como *léxicos*, *semánticos* o de *propósito general*. El ejemplo más habitual es el el [Preprocesador de C](https://es.wikipedia.org/wiki/Preprocesador_de_C). Aunque es usado como un preprocesador de proósito general, el preprocesador de **C** carece de ciertas características de procesadores de macro más genéricos como [m4](https://en.wikipedia.org/wiki/M4_(computer_language)).