Формализация

В естественных языках одно и то же слово часто используется для обозначения различных предметов, величин, действий, отношений. Например, словом "чай" можно обозначить не только, как напиток, но и как растение, а также его высушенные и измельчённые листья; слово "горячий" может означать разную температуру, например, 40°С или 70°С, а слово "немного" - разное количество, например, 1 или 5 граммов.

В то же время нельзя сказать, что каждое слово естественного языка можно понимать в любом смысле. Например, словом "чай" не обозначаем молоко или кофе, а словом "горячий" - свойство ледяной воды.

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







Элементы предварительных компьютерных моделей:

* общие и единичные имена обьектов

* описание свойств множеств обьектов

* описание отношений обьектов

* описание состава обьектов

* описание разновидностей обьектов

* пошаговые описания действий обьектов

* описание состояний конкретных обьектов

* описание структуры и поведения системы обьектов

Copyright © 2003 Пустовой А.