author = "Гутман А.Е.",

title = "Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи",

journal = "Сиб. матем. журн.",

year = "2026",

volume = "67",

number = "4",

pages = "616--625",

doi = "10.33048/smzh.2026.67.404",

annote = "Для произвольной детерминированной префиксной перезаписывающей системы получен критерий бесконечной перезаписываемости слова, на основе которого разработана алгоритмическая процедура анализа последовательности перезаписи.",

keywords = "префиксная перезапись, полутуэвская система, информационная система, объектно-ориентированная система данных, лемма о накачке"