Object-oriented dataas prefix rewriting systems

Рассматриваются перезаписывающие системы, не содержащие пар правил вида $X\to Y$, $X\to Z$, где $Y\ne Z$, в которых перезаписи подлежат только самые длинные префиксы. В рамках таких систем определяются и исследуются аналоги концепций, характерных для систем объектно-ориентированных данных: наследование классов и объектов, экземпляры классов, атрибуты экземпляров и классов, концептуальная зависимость и непротиворечивость, концептуальные схемы, типы, подтипы и др. Особое внимание уделяется эффективной проверке разнообразных свойств рассматриваемых перезаписывающих систем. В частности, приводятся алгоритмы для ответа на следующие вопросы: Все ли слова конечно переписываемы? Существуют ли рекуррентные слова? Является ли система концептуально непротиворечивой? Концептуально зависит ли данное слово $X$ от слова $Y$? Совпадают ли типы $X$ и $Y$? Является ли тип $X$ подтипом типа $Y$?