Semantics Encoding
Formal Language
978-613-8-69200-3
6138692004
88
2011-11-16
34.00 €
eng
https://images.our-assets.com/cover/230x230/9786138692003.jpg
https://images.our-assets.com/fullcover/230x230/9786138692003.jpg
https://images.our-assets.com/cover/2000x/9786138692003.jpg
https://images.our-assets.com/fullcover/2000x/9786138692003.jpg
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A 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 Computer's WorldScript 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.
https://morebooks.de/books/cn/published_by/utilpublishing/193177/products
信息学,信息技术
https://morebooks.de/store/cn/book/semantics-encoding/isbn/978-613-8-69200-3