Formal translators
In mathematics, computer science, computer engineering, and linguistics, a formal translator represents a set of rules and methods used for processing or transforming a source information described by a source language into a destination information described by another language.[1]