Abstract: Formal description of concepts, formal proof of theorems, formal definition of syntaxes, formal compilation of languages and formal processing of texts are discussed, and the formal generation from logical language compiled to ALGOL is presented in detail.