Object-oriented data via prefix rewriting. Part II: Effective analysis of rewriting [in Russian]

Gutman A.E.

Object-oriented data via prefix rewriting. Part II: Effective analysis of rewriting [in Russian] //

Sib. Matem. Zh. 2026. V. 67, N 4. P. 616–625.

For an arbitrary deterministic longest-prefix rewriting system, a criterion is obtained for the infinite rewritability of a word, on the basis of which an effective procedure is developed for analyzing the rewriting sequence.

Keywords:prefix rewriting, term rewriting, information system, object-oriented data, pumping lemma.

Type	Article
Authors	Gutman Alexander Efimovich
Title	Object-oriented data via prefix rewriting. Part II: Effective analysis of rewriting
Journal	Sibirskii Matematicheskii Zhurnal
Year	2026
Volume	67
Number	4
Pages	616–625
DOI	10.33048/smzh.2026.67.404
Language	Russian
©	2026.05.28
Files	Article (PDF)
Links	Record in BibTeX format Article on the journal site (PDF) Information on the journal site Information on ResearchGate Journal site English version
Project	Rewriting systems Representation of object-oriented data by means of prefix rewriting systems, and development of the theory

The papers are presented here for academic purposes and are not intended for mass dissemination or copying.

Last updated
July 31, 2026