Abstract: Детерминированная префиксная перезаписывающая система представляет собой систему перезаписи строк, не содержащую пар правил вида X→Y, X→Z, где Y≠Z, в которой перезаписи подлежат только самые длинные префиксы. Для таких систем определяются и исследуются аналоги понятий, характерных для объектно-ориентированных систем данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и др. Особое внимание уделяется алгоритмической проверке различных свойств рассматриваемых перезаписывающих систем.

Cite: Гутман А.Е.
Объектно–ориентированные данные и префиксная перезапись. Часть I: Обзор и основные результаты
Сибирский математический журнал. 2026. Т.67. №3. С.392-413. DOI: 10.33048/smzh.2026.67.302

Translated: Gutman A.E.
Object-Oriented Data via Prefix Rewriting. Part I: Overview and Main Results
Siberian Mathematical Journal. 2026. V.67. N3. P.531–547. DOI: 10.1134/S003744662603002X

Dates:

Submitted:	Jan 15, 2026
Accepted:	Apr 7, 2026
Published print:	May 28, 2026
Published online:	May 28, 2026

Identifiers: No identifiers

Altmetrics: