Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи | Sciact - Система учета научной деятельности ИМ СО РАН

Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи Научная публикация

Журнал

Сибирский математический журнал
ISSN: 0037-4474

Вых. Данные

Год: 2026, Том: 67, Номер: 4, Страницы: 616–625 Страниц : 10 DOI: 10.33048/smzh.2026.67.404

Ключевые слова

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

Авторы

Гутман А.Е. ¹

Организации

1	Институт математики им. С. Л. Соболева СО РАН

Информация о финансировании (1)

Министерство науки и высшего образования РФ

FWNF-2026-0022

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

Гутман А.Е.
Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи
Сибирский математический журнал. 2026. Т.67. №4. С.616–625. DOI: 10.33048/smzh.2026.67.404

Gutman A.E.
Object-oriented data via prefix rewriting. Part II: Effective analysis of rewriting
Siberian Mathematical Journal. 2026. V.67. N4. P.785–792. DOI: 10.1134/S003744662604004X OpenAlex

Поступила в редакцию:	28 мая 2026 г.
Принята к публикации:	26 июн. 2026 г.
Опубликована в печати:	31 июл. 2026 г.
Опубликована online:	31 июл. 2026 г.

Нет идентификаторов