Content deleted Content added
No edit summary |
m Added links on "machine code" and "byte-code." |
||
Line 1:
{{unreferenced|date=March 2017}}
A '''semantics encoding''' is a translation between [[formal language]]s. For programmers, the most familiar form of encoding is the compilation of a programming language into [[machine code]] or [[Bytecode|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]], 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.
| |||