формальная_модель=((a,b),(c,d))=((a->b)->(c->d))
(a,b) - моделируемая структура
(c,d) - "модель" структуры (a,b)
связь (стрелка "->") обозначенная запятой "," это формализация
((c,d),(a,b))=((c->d)->(a->b))
тут связь это интерпретация модели
ну вот типа взяли построили модель какойто структуры (неважно объект это или процесс какойто), это означает мы формализовали изучаемый объект т.е. построили модель объекта
взяли какуюто структуру (модель объекта), там чтото посчитали, потом сопоставили результаты вычислений изучаемому объекту, это означает, что мы проинтерпретировали модель, проинтерпретировали результаты вычислений
ps писал широкими мазками упрощенно, и дописываю тоже
по идее совсем формально
формальная_модель=(((a,b),(c,d)), ((c,d),(a,b)) )
т.е. включаемм туда и формализация и обратную операцию - интерпретацию
но так выглядит сложновато и можно смысл упустить
ps Модели моделей.
https://deep-econom.livejournal.com/77826.html