Без заголовка

Ты путаешь компилятор и суперкомпилятор: компилятор не строит модель программы, он осуществляет эквивалентные преобразования (трансформацию) программы из одного языка в другой. Компилятор на выходе получает ту же самую программу. Суперкомпилятор строит модель, у него на выходе -- другая (совсем!) программа, результаты выполнения которой идентичны исходной. Вот про суперкомпилятор можно говорить, что речь идет о моделировании (а не трансформации текста). А у тебя какое-то нестандартное понимание модели. Интерпретатор у тебя -- часть модели чего?! Текста программы?! А кто тогда запускает модель в работу (исполняет ее)? И этот тип рассуждения еще нужно как-то помечать специально, чтобы не путать с традиционным рассуждением о моделировании в суперкомпиляции, чтобы людей не запутывать.