Формализация и моделирование Формальные языки определения свойства примеры