Compilateur produisant des codes source. Si on lui donne une spécification de langage, il peut produire le Code source d’un compilateur correspondant à ce langage.