286 research outputs found
Parallel addition in non-standard numeration systems
We consider numeration systems where digits are integers and the base is an
algebraic number such that and satisfies a
polynomial where one coefficient is dominant in a certain sense. For this class
of bases , we can find an alphabet of signed-digits on which addition is
realizable by a parallel algorithm in constant time. This algorithm is a kind
of generalization of the one of Avizienis. We also discuss the question of
cardinality of the used alphabet, and we are able to modify our algorithm in
order to work with a smaller alphabet. We then prove that satisfies
this dominance condition if and only if it has no conjugate of modulus 1. When
the base is the Golden Mean, we further refine the construction to
obtain a parallel algorithm on the alphabet . This alphabet cannot
be reduced any more
A Probabilistic Approach to Generalized Zeckendorf Decompositions
Generalized Zeckendorf decompositions are expansions of integers as sums of
elements of solutions to recurrence relations. The simplest cases are base-
expansions, and the standard Zeckendorf decomposition uses the Fibonacci
sequence. The expansions are finite sequences of nonnegative integer
coefficients (satisfying certain technical conditions to guarantee uniqueness
of the decomposition) and which can be viewed as analogs of sequences of
variable-length words made from some fixed alphabet. In this paper we present a
new approach and construction for uniform measures on expansions, identifying
them as the distribution of a Markov chain conditioned not to hit a set. This
gives a unified approach that allows us to easily recover results on the
expansions from analogous results for Markov chains, and in this paper we focus
on laws of large numbers, central limit theorems for sums of digits, and
statements on gaps (zeros) in expansions. We expect the approach to prove
useful in other similar contexts.Comment: Version 1.0, 25 pages. Keywords: Zeckendorf decompositions, positive
linear recurrence relations, distribution of gaps, longest gap, Markov
processe
On sets of numbers rationally represented in a rational base number system
In this work, it is proved that a set of numbers closed under addition and
whose representations in a rational base numeration system is a rational
language is not a finitely generated additive monoid.
A key to the proof is the definition of a strong combinatorial property on
languages : the bounded left iteration property. It is both an unnatural
property in usual formal language theory (as it contradicts any kind of pumping
lemma) and an ideal fit to the languages defined through rational base number
systems
Enumeration and Decidable Properties of Automatic Sequences
We show that various aspects of k-automatic sequences -- such as having an
unbordered factor of length n -- are both decidable and effectively enumerable.
As a consequence it follows that many related sequences are either k-automatic
or k-regular. These include many sequences previously studied in the
literature, such as the recurrence function, the appearance function, and the
repetitivity index. We also give some new characterizations of the class of
k-regular sequences. Many results extend to other sequences defined in terms of
Pisot numeration systems
Numeration Systems: a Link between Number Theory and Formal Language Theory
We survey facts mostly emerging from the seminal results of Alan Cobham
obtained in the late sixties and early seventies. We do not attempt to be
exhaustive but try instead to give some personal interpretations and some
research directions. We discuss the notion of numeration systems, recognizable
sets of integers and automatic sequences. We briefly sketch some results about
transcendence related to the representation of real numbers. We conclude with
some applications to combinatorial game theory and verification of
infinite-state systems and present a list of open problems.Comment: 21 pages, 3 figures, invited talk DLT'201
Advances and applications of automata on words and trees : abstracts collection
From 12.12.2010 to 17.12.2010, the Dagstuhl Seminar 10501 "Advances and Applications of Automata on Words and Trees" was held in Schloss Dagstuhl - Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available
Rational series and asymptotic expansion for linear homogeneous divide-and-conquer recurrences
Among all sequences that satisfy a divide-and-conquer recurrence, the
sequences that are rational with respect to a numeration system are certainly
the most immediate and most essential. Nevertheless, until recently they have
not been studied from the asymptotic standpoint. We show how a mechanical
process permits to compute their asymptotic expansion. It is based on linear
algebra, with Jordan normal form, joint spectral radius, and dilation
equations. The method is compared with the analytic number theory approach,
based on Dirichlet series and residues, and new ways to compute the Fourier
series of the periodic functions involved in the expansion are developed. The
article comes with an extended bibliography
- …