Semantics encoding: Difference between revisions

Revision as of 22:31, 22 April 2005

Revision as of 00:12, 27 April 2005

Line 1:

A '''semantics encoding''' is a "translation" between [[formal language|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.