Формальная Модель

Модель,  заданная на математическом или любом другом формализованном языке.