Содержание
Введение 3
Формализация языка в работах по компьютеру 4
Заключение 9
Список литературы 10
Введение
Общеизвестно, что при решении задач из различных областей человеческой деятельности используется (как правило) некоторый язык, позволяющий формализовать исходную постановку задачи (построить формальную модель) с целью возможного применения формальных методов (если таковые существуют) самого языка для решения поставленной задачи.
Таким образом, процесс формализации в данном случае сводится к описанию проблемы (задачи) на некотором формальном языке. Хорошо если этот формальный язык – язык математики, а, следовательно, обладающий развитыми методами решения формализованных задач. В этом случае, обычно, говорят о полной формализации проблемы. Если формальный язык не является языком в работах по компьютеру – говорят о неполной или частичной формализации проблемы. При этом не исключается существование другого формального языка, с помощью которого достигается полная или частичная формализация проблемы. Впрочем, возможны ситуации, когда не удается получить формальную модель проблемы. Если такие модели в принципе существуют, то проблема является полностью или частично формализованной. В противном случае говорят о не формализованных предметных областях, т. е. о таких областях, где существуют не формализованные проблемы.
Цель работы – формализация языка в работах по компьютеру.
Формализация языка в работах по компьютеру
Формальные системы и формализация еще не стали предметами специального, профессионального исследования. Формализация как метод науки всегда предшествует аксиоматизации и определяет в ряде пунктов ее суть, но, тем не менее, литературы по аксиоматическому методу значительно больше, чем по формальному. Прослежена история аксиоматического метода, выделены три формы аксиоматизации, наработаны аксиоматики, есть метатеория, выясняю