On uniform recurrence of morphic sequences
We describe a shorter algorithm for HD0L uniform recurrence problem
Source author record
Ivan Mitrofanov
Ivan Mitrofanov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
5works
3topics
1close collaborators
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.
Published work
5 published item(s)
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.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
A proof for the decidability of HD0L ultimate periodicity
We give a proof for the decidability of the HD0L ultimate periodicity problem.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access