Conjunto de programas escritos para servir a otros programas. Pueden procesar desde estructuras de información complejas pero determinadas (como, por ejemplo, los compiladores o los editores), hasta datos indeterminados (por ejemplo, algunos componentes del sistema operativo).