Revision as of 11:33, 20 April 2005 edit Yoric~enwiki (talk \| contribs) 91 edits →See also ← Previous edit		Revision as of 11:34, 20 April 2005 edit undo Yoric~enwiki (talk \| contribs) 91 edits No edit summary Next edit →
Line 1: ~~== Introduction ==~~ An [[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 [[Objective Caml]]'s Camlp4 or [[Apple]]'s [[WorldScript]] also involve encoding of a programming language into another. == Definition == More 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' of A into B, B is considered 'at least as powerful' (or 'at least as expressive') as A.▼ Formally, an encoding of a language A into language B is a mapping of all terms of A into B. ▲~~More 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' of A into B, B is considered 'at least as powerful' (or 'at least as expressive') as A. == Properties of encodings ==

Semantics encoding: Difference between revisions