是语法分析器产生程式(parser generator)这个形式，其输入是一个程式语言的形式文法 (一般是用BNF表示)，然后产生出一些语法分析器的程式码，作为这个语言编译器的一部分。理想的编译器编译程式，只要给予一个程式语言的完整描述以及目标的指令集架构，然后就能自动从中产生出合适的编译器。实际上, 最先进的技术还没有到达这么复杂的地步，而大多数现有的编译器产生程式都不能处理语意学或者目标架构的资讯部份。