Given a linear numeration system U and a set X (include in N) such that repU(X) is recognized by a (deterministic) finite automaton. Is it decidable whether or not X is ultimately periodic, i.e., whether or not X is a finite union of arithmetic progressions? Honkala showed that this problem turns out to be decidable for the usual b-ary numeration system (b greater than 2) defined by U_n = bU_{n-1} for n greater than 1 and U_0 = 1. In this work, we give a decision procedure for this problem for a large class of linear numeration systems
A HD0L system is a 5-tuple G = (∆, Γ, f, g, w) where • ∆ and Γ are alphabet; • f : ∆^∗ → ∆^∗ is a ...
International audienceLet $b$ be an integer strictly greater than $1$. Each set of nonnegative integ...
AbstractGeneralizations of numeration systems in which N is recognizable by a finite automaton are o...
We consider the following decidability problem: Given a linear numeration system U and a set X ⊆ N s...
peer reviewedConsider a non-standard numeration system like the one built over the Fibonacci sequenc...
peer reviewedWe address the following decision problem. Given a numeration system U and a U-recogniz...
peer reviewedWe address the following decision problem. Given a numeration system U and a U-recogniz...
We address the following decision problem. Given a numeration system $U$ and a $U$-recognizable set ...
We address the following decision problem. Given a numeration system U and a U-recognizable set of n...
This dissertation thesis is made up of three distinct parts, connected especially by complexity noti...
Consider a non-standard numeration system like the one built over the Fibonacci sequence where nonne...
peer reviewedConsider a non-standard numeration system like the one built over the Fibonacci sequenc...
In the first part of the talk, I will overview some results on state complexity of ultimately period...
Given an integer base b>1, a set of integers is represented in base b by a language over {0,1,...,b-...
In this talk, I will introduce abstract numeration systems in general and present some results I hav...
A HD0L system is a 5-tuple G = (∆, Γ, f, g, w) where • ∆ and Γ are alphabet; • f : ∆^∗ → ∆^∗ is a ...
International audienceLet $b$ be an integer strictly greater than $1$. Each set of nonnegative integ...
AbstractGeneralizations of numeration systems in which N is recognizable by a finite automaton are o...
We consider the following decidability problem: Given a linear numeration system U and a set X ⊆ N s...
peer reviewedConsider a non-standard numeration system like the one built over the Fibonacci sequenc...
peer reviewedWe address the following decision problem. Given a numeration system U and a U-recogniz...
peer reviewedWe address the following decision problem. Given a numeration system U and a U-recogniz...
We address the following decision problem. Given a numeration system $U$ and a $U$-recognizable set ...
We address the following decision problem. Given a numeration system U and a U-recognizable set of n...
This dissertation thesis is made up of three distinct parts, connected especially by complexity noti...
Consider a non-standard numeration system like the one built over the Fibonacci sequence where nonne...
peer reviewedConsider a non-standard numeration system like the one built over the Fibonacci sequenc...
In the first part of the talk, I will overview some results on state complexity of ultimately period...
Given an integer base b>1, a set of integers is represented in base b by a language over {0,1,...,b-...
In this talk, I will introduce abstract numeration systems in general and present some results I hav...
A HD0L system is a 5-tuple G = (∆, Γ, f, g, w) where • ∆ and Γ are alphabet; • f : ∆^∗ → ∆^∗ is a ...
International audienceLet $b$ be an integer strictly greater than $1$. Each set of nonnegative integ...
AbstractGeneralizations of numeration systems in which N is recognizable by a finite automaton are o...