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

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