En compiler compiler er et program, der tager en syntaktisk eller semantisk beskrivelse af et programmeringssprog og genererer en compiler til det sprog [1] .
Syntaksen er udtrykt som en BNF eller dens afledte og skal opfylde reglerne for parsingmetoden , der vil blive brugt i den genererede compiler.
Et sprogs semantik beskrives normalt ved at associere en kodegenereringsprocedure med hver syntaktisk konstruktion, med den nødvendige procedure kaldet, når den tilsvarende konstruktion genkendes af parseren. Således skal brugeren af compiler-compilatorerne under alle omstændigheder udvikle eksekveringsstrukturer og vælge en måde at konvertere hver inputsyntaktisk konstruktion til outputsprogoperationer eller til maskinoperationer , hvorefter det er nødvendigt at skrive de faktiske kodegenereringsprocedurer. Derfor er Compiler of Compilers et nyttigt værktøj til at hjælpe dig med at skrive compilere, men ikke mere.
Strengt taget er parsergeneratoren en del af compileren af compilere, men de to udtryk bruges ofte i flæng.