Формализованная информационная модель — это определенные совокупности знаков (символов), которые существуют отдельно от объекта моделирования, могут подвергаться передаче и обработке. Реализация информационной модели на компьютере сводится к ее формализации в форматы данных, с которыми "умеет" работать компьютер. <br>

Программирование на ЭВМ есть формализация процесса обработки информации. А компьютер выступает в качестве формального исполнителя программы. Программа на определенном языке программирования есть формализованное представление процесса обработки данных.

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