Noun
(logic, uncountable) The act of representing one logic or language with another by providing a syntactic translation.
(logic, countable) A specific mechanism for such a syntactic translation.