УДК 004.435 ФОРМАЛИЗАЦИЯ ОБЪЕКТНОЙ СТРУКТУРЫ С ПОМОЩЬЮ СИСТЕМ ОБЪЕКТНЫХ УРАВНЕНИЙ А. А. <...> Седунов Воронежский государственный университет Поступила в редакцию 18.11.2010 г. Аннотация: В данной работе представлен нижний уровень теории объектов, разработанной автором в процессе работы над инфраструктурой системы метапрограммирования. <...> В данной работе мы опираемся на класс-ориентированный подход, поэтому считаем, что поведение не приписывается отдельным объектам, а определяется на уровне типов (в частности, классов). <...> Для отражения временного аспекта в данной модели мы будем рассматривать все © Седунов А. А., 2010 состояния, через которые проходит объект как отдельные объекты (с общей уникальностью). <...> Для этого вначале введем два фиксированных множества S и I , где 1. <...> Структурой 0-го порядка назовем простые значения (строки над алфавитом S ) или ссылки: VI0 =» def S* . <...> Объектом называется элемент множества JI V=¥ , т. е. упорядоченная пара вида und= , , где n – идентичность объекта, а d – его текущее состояние: id ,d ,bs ,d d. nn n def == ВЕСТНИК ВГУ, СЕРИЯ: СИСТЕМНЫЙ АНАЛИЗ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, 2010, № 2 def (4) 109 Б∪ ˜ k = - 0 1 j ˆ ¯ * (2) Множество всех таких структур обозначим А. А. Седунов В частности, псевдообъект null , используемый в объектно-ориентированных языках в качестве маркера для обозначения фактического отсутствия объекта, будем представлять в виде 00 II . , Будем говорить, что две структуры одного порядка k имеют одинаковую форму, если выполняются следующие соотношения: def Ÿ П М Ф У Ф VV V V kVV kV V mi =fi Œ ⁄ Œ >fi = = 0 0 12 1¤Œ Ÿ I V V ~, Vk 2 12 12 12 ,, S =Ÿ" Œ1mV i V i 12 ¨ * (5) . (,m)[ ( ) ~ ( )] Поскольку структуры порядка выше 0 являются кортежами, к ним можно применить операцию модификации iV можем обобщить операцию модификации на случай компонента произвольной вложенности. <...> Будем также говорить, что объект u ссылается на объект v , если на v <...>