Здравствуйте, Shmj, Вы писали:

S>Трансляция вроде подразумевает по строгим алгоритмам, когда одному можно строго сопоставить другое. Но это не возможно — языки и платформы слишком разные — строгое сопоставление не получается.

S>А вот не строгий именно перевод, возможно даже с небольшими изменениями функционала (не критическими) — вполне возможен.

Имеешь ввиду, что программа будет делать что-то другое, а мы хотим только совпадение результатов при одинаковых входных данных? Тогда это и переводом сложно назвать, явно нужен другой термин.