A program that produces specific programs from the definition of an operation.

• 生成程序，发生器，生成器从运算定义中产生规定程序的一个程序