Innen informatikk er en eller et programmeringsverktøy som frembringer en parser, en kommandotolk eller en kompilator ut fra en formell beskrivelse av et programmeringsspråk og en datamaskin. Den tidligste og fortsatt mest alminnelige form for kompilator-kompilatorer er en , som tar en formell grammatikk (vanligvis i Backus-Naur form) til et programmeringsspråk som input og genererer kildekoden til en parser som ofte er brukt som en komponent i en kompilator.