Дается описание языка системы моделирования - версии его машинной реализации, изложение опирается на описание основных понятий теории, принципов построения её формальной системы, данное в выпуске "Элементы теории", и на описание системы понятий и языка теории, ориентированное на создание синтаксических систем для конкретных машинных реализаций, данное в брошюре "Язык теории и язык системы"