Zobrazeno 1 - 10
of 2 013
pro vyhledávání: '"Sturmian words"'
We show that every Sturmian word has the property that the distance between consecutive ending positions of cubes occurring in the word is always bounded by $10$ and this bound is optimal, extending a result of Rampersad, who proved that the bound $9
Externí odkaz:
http://arxiv.org/abs/2402.09597
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order expansions of
Externí odkaz:
https://doaj.org/article/4a25bee76a604ddc93ca08451324abb8
Generalizing the notion of the boundary sequence introduced by Chen and Wen, the $n$th term of the $\ell$-boundary sequence of an infinite word is the finite set of pairs $(u,v)$ of prefixes and suffixes of length $\ell$ appearing in factors $uyv$ of
Externí odkaz:
http://arxiv.org/abs/2206.15319
Autor:
De Luca, Alessandro, Fici, Gabriele
Publikováno v:
Theoretical Computer Science 938 (2022) 81-85
Bell and Shallit recently introduced the Lie complexity of an infinite word $s$ as the function counting for each length the number of conjugacy classes of words whose elements are all factors of $s$. They proved, using algebraic techniques, that the
Externí odkaz:
http://arxiv.org/abs/2206.00995
Autor:
Adamczewski, Boris, Konieczny, Jakub
Generalised polynomials are maps constructed by applying the floor function, addition, and multiplication to polynomials. Despite superficial similarity, generalised polynomials exhibit many phenomena which are impossible for polynomials. In particul
Externí odkaz:
http://arxiv.org/abs/2203.10814
Let $b$ be an algebraic number with $|b|>1$ and $\mathcal{H}$ a finite set of algebraic numbers. We study the transcendence of numbers of the form $\sum_{n=0}^\infty \frac{a_n}{b^n}$ where $a_n \in \mathcal{H}$ for all $n\in\mathbb{N}$. We assume tha
Externí odkaz:
http://arxiv.org/abs/2204.08268
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 3 (August 5, 2024) lmcs:9980
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order expansions of
Externí odkaz:
http://arxiv.org/abs/2102.08207