Semantics encoding: Difference between revisions

Revision as of 20:59, 15 March 2017

Latest revision as of 17:32, 19 July 2025

(4 intermediate revisions by 4 users not shown)

Line 1:

{{unreferencedrefimprove|date=MarchJuly 20172025}}

A '''semantics encoding''' is a translation between [[formal language]]s.<ref>{{Citation |last=van Glabbeek |first=Rob |title=A Theory of Encodings and Expressiveness (Extended Abstract) |date=2018 |work=Lecture Notes in Computer Science |pages=183–202 |url=https://doi.org/10.1007/978-3-319-89366-2_10 |access-date=2025-07-19 |place=Cham |publisher=Springer International Publishing |isbn=978-3-319-89365-5}}</ref> 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.

Line 75:

* [[Semantics]]

* [[Semantic dictionary encoding]] (SDE)

==References==

{{reflist}}

==External links==