Implementation of general formal translators
Iosif Iulian Petrila

TL;DR
This paper introduces a formalism for general translators, providing a unified framework for processing diverse source and destination information across various languages or systems.
Contribution
It proposes a general translator formalism with specific implementation strategies, unifying common directives for flexible, broad applicability.
Findings
Unified directives for classes and procedures.
Two-level processing for source and destination transformations.
Applicable to natural and artificial languages.
Abstract
The general translator formalism and computing specific implementations are proposed. The implementation of specific elements necessary to process the source and destination information within the translators are presented. Some common directives or instructions, such as classes and procedures, were unified and generalized in order to allow general translations implementations. In order to cover general cases, two levels of processing are required, related to the source and destination information appropriate transformations, with the related control and processing instructions. The proposed general translator elements are useful for processing natural or artificial information described through any types of languages or systems.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems
