[PDF] Top 20 Automatic sequences based on Parry or Bertrand numeration systems

... There exists a Bertrand-automatic sequence with superlinear factor complexity.. Adeline Massuir Parry-automatic 16/28..[r] ... Voir le document complet

... an automatic sequence is an infinite word over a finite alphabet such that its nth symbol is obtained as the output given by a deterministic finite automaton fed with the representation of n in a suitable ... Voir le document complet

... References ◦ A. Lepistö, On the power of periodic iteration of morphisms, ICALP 1993, 496–506, Lect. Notes Comp. Sci 700, (1993). ◦ J. Peltomäki, A. Massuir, and M. Rigo, Automatic sequences based ... Voir le document complet

... linear numeration system such that N is U - recognizable and satisfying a recurrence relation of order k of the kind (1) with a k = ±1 and lim i→+∞ U i+1 − U i = ...whether or not a U - recognizable set is ... Voir le document complet

... linear numeration system such that N is U -recognizable and satisfying a relation like (1) with a k = ±1 (the main reason for this assumption is that 1 and −1 are the only two integers invertible modulo n for all ... Voir le document complet

... for automatic (and some related) ...an automatic sequence x has a closed ...famous sequences, such as the Thue-Morse sequence, the Rudin-Shapiro sequence, the ordinary paperfolding sequence, the ... Voir le document complet

... Jason Bell 1 Emilie Charlier 2 Avierzri Fraenkel 3 Michel Rigo 2.. 1 Department of Mathematics.[r] ... Voir le document complet

... DRAFT February 1979 26 Sequences and Serializers The above definition shows how serializers subsume the ability of cells to efficiently implement synchronization and s[r] ... Voir le document complet

... where d ≥ 1, m ≥ n ≥ 1. Their significance was first observed by Frougny in [14] who shows that the corresponding linear numeration system is con- fluent. We present the formulation using the spectrum X(β), for ... Voir le document complet

... Theorem (Muchnik 1991) The ultimate periodicity problem is decidable for all NS with a regular numeration language, provided that addition is recognizable. Example ( U i+4 = 3U i+3 + 2U i+2 + 3U i for all i ≥ 0 , ... Voir le document complet

... −→ B ℓ Thus the multiplication by λ = 25 induces a mapping f λ onto B 2 such that for w, w ′ ∈ B 2 , f λ (w) = w ′ if and only if val 2 (w ′ ) = 25 val 2 (w). This paper is organized as follows. In Section 2, we recall a ... Voir le document complet

... is based on previous work on modeling [18] and generating test cases [22], [21] for ...software systems. In this paper, we propose a graph-based algorithm to select ... Voir le document complet

... -nombres décimaux : désignations orales et écritures chiffrées, valeur des chiffres en fonction de leur position, passage de l’écriture à virgule à une écriture fractionnaire et inverse[r] ... Voir le document complet

... operating or when there is a problem with a water supply source, such as decreased water level in a storage tank or a significant drop in water ...these systems can be further improved by having ... Voir le document complet

... Incremental TFs make sense for state that has many independent pieces (e.g., files in a file system, records in a database, or objects in an OODB) that can each[r] ... Voir le document complet

... The first matching step focuses on detecting matching pairs of elements. If two elements coming from the source model and the target model stand for the same (or similar) concept(s) (shared parts on the meta-model ... Voir le document complet

... 1 Introduction In this thesis, we describe a software tool (“MicroGrader”) for grading embedded sys- tems exercises in an educational setting. Specifically, we focus on assessing the degree to which a student’s ... Voir le document complet

... The aim of the present paper is to study tilings associated with beta numeration in the context of Pisot numbers that are not necessarily units. The space where these tilings are represented consists of a suitable ... Voir le document complet

... of sequences of linear systems with the same coeffi- cient matrix but different right-hand ...schemes, or in developing new preconditioning techniques or in combining the two ...where ... Voir le document complet

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet