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

Гутман А.Е.

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

Сиб. матем. журн. 2026. Т. 67, № 4. С. 616–625.

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

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

Вид	Статья
Авторы	Гутман Александр Ефимович
Название	Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи
Журнал	Сибирский математический журнал
Год	2026
Том	67
Номер	4
Страницы	616–625
DOI	10.33048/smzh.2026.67.404
Язык	Русский
©	2026.05.28
Файлы	Статья (PDF)
Ссылки	Сведения в формате BibTeX Статья на сайте журнала (PDF) Информация на сайте журнала Информация на ResearchGate Сайт журнала Английская версия
Проект	Перезаписывающие системы Представление объектных данных посредством префиксных перезаписывающих систем и развитие соответствующей теории

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

Сведения обновлены
31 июля 2026 г.