从运算定义中产生规定程序的一个程序

• a program that produces specific programs from the definition of an operation