Semantics encoding  

From The Art and Popular Culture Encyclopedia

Jump to: navigation, search

Related e

Wiki Commons

Train wreck at Montparnasse (October 22, 1895) by Studio Lévy and Sons.
Train wreck at Montparnasse (October 22, 1895) by Studio Lévy and Sons.

A semantics encoding is a translation between formal languages. For programmers, the most familiar form of encoding is the compilation of a programming language into machine code or byte-code. Conversion between document formats are also forms of encoding. Compilation of TeX or LaTeX documents to PostScript are also commonly encountered encoding processes. Some high-level preprocessors such as OCaml's Camlp4 or Apple Computer's WorldScript also involve encoding of a programming language into another.

Formally, an encoding of a language A into language B is a mapping of all terms of A into B. If there is a satisfactory encoding of A into B, B is considered at least as powerful (or at least as expressive) as A.

See also

Unless indicated otherwise, the text in this article is either based on Wikipedia article "Semantics encoding" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on original research by Jahsonic and friends. See Art and Popular Culture's copyright notice.

Personal tools