The minimal input producing a compiler is a metaprogram specifying the object language grammar and semantic transformations into an object program .
The minimal input specifying a compiler is a metaprogram producing the object language grammar and semantic transformations into an object program .