что такое формализация?

Формализация — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) как набор характерных для неё признаков, использование которых позволяет понять её более содержательным образом. В развитом виде эти признаки предстают в виде формальной системы или показателей исчисления.