Дается описание языка общей теории взаимодействий, ориентированное на создание конкретных синтаксических систем для машинных реализаций.
Рассматриваются способы синтеза графических схем, используемых при синтезе моделей, а также некоторые особенности интерпретации понятий дедуктивной системы в терминах операций, реализуемых моделирующими средствами, и при меры интерпретации понятий, используемых некоторыми математическими дисциплинами.