ФОРМАЛЬНАЯ МОДЕЛЬ

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