Any ACG generates two languages, an abstract language and an object language.
we call it the transductive paradigm because it is reminiscent of the mathematical notion of transduction (see Section 4.2).