Цитата:
Сообщение от george
Не совсем понял про "приведение". Мы разрабатываем алгоритмы исполнения языка из п.1. на разных архитектурах, используя описание правил вычислений на языке из п.2. Может быть, это можно назвать приведением.
|
А правила вычислений это разве не язык? Я так понимаю что язык.
В результате программа (предложение на язык1) исполняется на архитектуре (правила на язык2). Т.е. фактически вы строите отображение слов на язык1 в слова на язык2.
В духе: "слова вида АБВ на язык1 приводятся к словам вида ГДДДЕЕГ на язык2 и т.д."?