Комп'ютерна програма, яка перетворює послідовність операторів, виражену однією мовою на еквівалентні послідовність заяви, виражених іншою мовою.