Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи Full article
| Journal |
Сибирский математический журнал
ISSN: 0037-4474 |
||
|---|---|---|---|
| Output data | Year: 2026, Volume: 67, Number: 4, Pages: 616–625 Pages count : 10 DOI: 10.33048/smzh.2026.67.404 | ||
| Tags | префиксная перезапись, полутуэвская система, информационная система, объектно-ориентированная система данных, лемма о накачке | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Министерство науки и высшего образования РФ | FWNF-2026-0022 |
Abstract:
Для произвольной детерминированной префиксной перезаписывающей системы получен критерий бесконечной перезаписываемости слова, на основе которого разработана алгоритмическая процедура анализа последовательности перезаписи.
Cite:
Гутман А.Е.
Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи
Сибирский математический журнал. 2026. Т.67. №4. С.616–625. DOI: 10.33048/smzh.2026.67.404
Объектно-ориентированные данные и префиксная перезапись. Часть II: Эффективный анализ перезаписи
Сибирский математический журнал. 2026. Т.67. №4. С.616–625. DOI: 10.33048/smzh.2026.67.404
Translated:
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
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
Dates:
| Submitted: | May 28, 2026 |
| Accepted: | Jun 26, 2026 |
| Published print: | Jul 31, 2026 |
| Published online: | Jul 31, 2026 |
Identifiers:
No identifiers