Задание нормативного пространства отдельного нормативного документа с помощью теории автоматов

УДК 629.8

И. Г. Иванов

ЗАДАНИЕ НОРМАТИВНОГО ПРОСТРАНСТВА ОТДЕЛЬНОГО НОРМАТИВНОГО ДОКУМЕНТА С ПОМОЩЬЮ ТЕОРИИ АВТОМАТОВ Любой нормативный документ в общем случае задает некоторые нормативные отношения между определенными объектами нормативной деятельности и описывает некоторые процедурные действия, осуществляемые с этими же объектами.

Будем говорить, что любой нормативный документ Б задает некоторое нормативное пространство РБ, которое представляет собой совокупность множества

отношений между объектами нормативной деятельности О], О2,..., Оп , фигурирующими в нормативном документе Б, и множества ГБ процедурных действий над этими же объектами.

Таким образом нормативное пространство РВ определяемое нормативным документом Б задается тройкой:

Рб = <Ов, Фб, Рв>,

Об = {О], О2,..., О } - множество объектов нормативной деятельности

фигурирующих в нормативном документе Б;

Фб = {ф], ф2,..., ф& к} - множество отношений между объектами нормативной

деятельности из множества ОБ, описываемых в нормативном документе Б;

РБ = {¥], ¥2,..., ^тв} - множество процедурных действий над объектами

нормативной деятельности из множества ОВ, предписываемых в этом же документе Б.