Decidability of the HD0L ultimate periodicity problem
Combinatorics
2013-01-03 v3 Formal Languages and Automata Theory
Authors:
Fabien Durand
Abstract
In this paper we prove the decidability of the HD0L ultimate periodicity problem.
Cite
@article{arxiv.1111.3268,
title = {Decidability of the HD0L ultimate periodicity problem},
author = {Fabien Durand},
journal= {arXiv preprint arXiv:1111.3268},
year = {2013}
}
Related papers
View all related →
Combinatorics · Mathematics
A proof for the decidability of HD0L ultimate periodicity
Ivan Mitrofanov
2012-07-19
Formal Languages and Automata Theory · Computer Science
A new proof for the decidability of D0L ultimate periodicity
Vesa Halava, Tero Harju, Tomi Kärki
2011-08-19
Combinatorics · Mathematics
On uniform recurrence of HD0l systems
Ivan Mitrofanov
2012-07-19
Discrete Mathematics · Computer Science
Ultimate periodicity problem for linear numeration systems
E. Charlier, A. Massuir, M. Rigo, E. Rowland
2023-09-04
Logic in Computer Science · Computer Science
Dynamic Probability Logic: Decidability & Computability
Somayeh Chopoghloo, Mahdi Heidarpoor, Massoud Pourmahdian
2024-06-25
Combinatorics · Mathematics
Periodicity and decidability of tilings of $\mathbb{Z}^{2}$
Siddhartha Bhattacharya
2016-02-19
General Physics · Physics
Analytical Solution Describing the Periodicity of the Elements in the Periodic System
Jozsef Garai
2008-01-26
Combinatorics · Mathematics
Further results on the Hamilton-Waterloo problem
L. Wang, S. Lu, H. Cao
2017-10-10
Logic · Mathematics
Existential decidability for addition and divisibility in holomorphy subrings of global fields
Carlos Martinez-Ranero, Javier Utreras, Xavier Vidaux
2020-11-12
Logic · Mathematics
Undecidability of Finite Orbit Recognition in Polynomial Maps
Gwangyong Gwon
2026-05-19
Dynamical Systems · Mathematics
The existence of periodic solution for infinite dimensional Hamiltonian systems
W. Deng, W. Han, Q. Wang
2018-10-19
Combinatorics · Mathematics
HD0L-$\omega$-equivalence and periodicity problems in the primitive case (to the memory of G. Rauzy)
Fabien Durand
2011-11-07
Classical Analysis and ODEs · Mathematics
Existence of periodic solutions for a scalar differential equation modelling optical conveyor belts
Luis Carretero, José Valero
2024-07-16
Logic in Computer Science · Computer Science
The General and Finite Satisfiability Problems for PCTL are Undecidable
Miroslav Chodil, Antonín Kučera
2024-04-17
Formal Languages and Automata Theory · Computer Science
Undecidability and Finite Automata
Jörg Endrullis, Jeffrey Shallit, Tim Smith
2017-03-01
Computational Geometry · Computer Science
The periodic domino problem is undecidable in the hyperbolic plane
Maurice Margenstern
2007-05-23
Functional Analysis · Mathematics
Solution of the Ovals problem
Yacine Chitour, Jochen Denzler, Frédéric Jean, Emmanuel Trélat
2025-04-22
Optimization and Control · Mathematics
Exponential stability of linear periodic difference-delay equations
Laurent Baratchart, Sébastien Fueyo, Jean-Baptiste Pomet
2025-12-10
Dynamical Systems · Mathematics
On periodic orbits of polynomial maps
Junho Peter Whang
2023-09-11
Group Theory · Mathematics
On the decidability of the integrability of finite groups
Sathasivam Kalithasan, Viji Z. Thomas
2026-02-24
Classical Analysis and ODEs · Mathematics
On The Existence of Periodic Solutions for a Certain System of Third Order Nonlinear Differential Equations
Muzaffer Ates
2011-08-23
Analysis of PDEs · Mathematics
A Uniqueness and Periodicity Result for Solutions of Elliptic Equations in Unbounded Domains
Matthias Bergner, Jens Dittrich
2007-11-21
Logic · Mathematics
Rigidity is undecidable
Mikołaj Bojanczyk, Stanisław Szawiel, Marek Zawadowski
2019-02-20
Logic · Mathematics
Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi
Grigoriy V. Bokov
2015-09-25
Mathematical Physics · Physics
Deterministic homogenization of variational inequalities with unilateral constraints
Hermann Douanla, Cyrille Kenne
2018-11-16