On uniform recurrence of morphic sequences
We describe a shorter algorithm for HD0L uniform recurrence problem
Source author record
Ivan Mitrofanov
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
5works
3topics
1close collaborators
Published work
5 publications
preprint2014arXiv
Periodicity of Rauzy Scheme for substitution words
From Rauzy graph Rauzy Scheme can be obtaining by uniting sequence of vertices of ingoing and outgoing degree 1 by arches. This notion is a tool to describe Rauzy graph behavior. For morphic superword we prove periodicity of Rauzy schemes. This fact has consequence in discrete dynamic systems and logic. This fact is also generalization of fact that quadratic irrationals have periodic chain fractions.
Open access
preprint2012arXiv
A proof for the decidability of HD0L ultimate periodicity
We give a proof for the decidability of the HD0L ultimate periodicity problem.
Open access
preprint2012arXiv
On uniform recurrence of HD0l systems
We prove that the problem of deciding whether a given morphic sequence is uniformly recurrent is decidable. The proof uses decidability of HD0L periodicity problem, which was recently proved in papers of F.Durand and I.Mitrofanov.
Open access
preprint2012arXiv
Periodicity of Rauzy scheme and substitutional systems
In the paper the notion of {\em Rauzy scheme} is introduced. From Rauzy graph Rauzy Scheme can be obtaining by uniting sequence of vertices of ingoing and outgoing degree 1 by arches. This notion is a tool to describe Rauzy graph behavior. For morphic superword we prove periodicity of Rauzy schemes. This is generalization of fact that quadratic irrationals have periodic chain fractions.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.