Формализация. Пример формализации - преобразования описательной модели в математическую.

      Естественные языки служат для создания описательных информационных моделей. В истории науки известны многочисленные описательные информационные модели. Например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
    -   Земля вращается вокруг своей оси и вокруг Солнца;
    -   орбиты всех планет проходят вокруг Солнца.
      С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Процесс построения информационных моделей с помощью формальных языков называется формализацией.      

Формализация - процесс построения информационных моделей с помощью формальных языков.

Одним из наиболее распространенных формальных языков является алгебраический язык формул в математике, который позволяет описывать функциональные зависимости между величинами. Модели, построенные с использованием математических понятий и формул, называются математическими моделями.
Моделирование любой системы невозможно без предварительной формализации. По сути, формализация – это первый и очень важный этап процесса моделирования.
Примером неформального описания модели является кулинарный рецепт или словесное описание модели парусника, или словесная формулировка второго закона Ньютона.

В тех случаях, когда моделирование ориентировано на исследование моделей с помощью компьютера, результатом формализации моделей должно быть программное средство. Поэтому принципы формализации можно сформулировать в следующем виде:

Напрмер, формула F=m*a является формализованным описанием второго закона Ньютона