Толковый словарь Ефремовой
формализация
I ж.
1. Процесс действия по гл. формализовать I
2. Результат такого действия.
II ж.
1. Процесс действия по гл. формализовать II
2. Результат такого действия.
III ж.
1. Процесс действия по гл. формализировать
2. Результат такого действия; представление содержания какой-либо области знания в виде логической или математизированной системы.