Content deleted Content added
Added {{unreferenced}} tag to article (TW) |
No edit summary |
||
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 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.
| |||