The relevance of the problem of managing periodic phenomena is widely recognized in the area of knowledge representation and reasoning. One of the most effective attempts at dealing with this problem has been the addition of a notion of time granularity to knowledge representation systems. Different formalizations of such a notion have been proposed in the literature, following algebraic, logic...

This paper classifies morphisms from {0, 1} that map to ultimately periodic words. In particular, if a morphism h maps an infinite non-ultimately periodic word to an ultimately periodic word then it must be true that h(0) commutes with h(1).

Computing transitive closures of integer relations is the key to finding precise invariants of integer programs. In this paper, we describe an efficient algorithm for computing the transitive closures of difference bounds, octagonal and finite monoid affine relations. On the theoretical side, this framework provides a common solution to the acceleration problem, for all these three classes of r...

beta-expansions and ultimately periodic representations Michel Rigo, Wolfgang Steiner To cite this version: Michel Rigo, Wolfgang Steiner. Abstract beta-expansions and ultimately periodic representations. Journal de Théorie des Nombres de Bordeaux, Société Arithmétique de Bordeaux, 2005, 17, pp.283-299. HAL Id: hal-00023235 https://hal.archives-ouvertes.fr/hal-00023235 Submitted on 21 Apr 2006 ...

β-expansions and ultimately periodic

We compute the cardinality of the syntactic monoid of the language 0∗ rep b (mN) made of base b expansions of the multiples of the integer m. We also give lower bounds for the syntactic complexity of any (ultimately) periodic set of integers written in base b. We apply our results to some well studied problem: decide whether or not a brecognizable sets of integers is ultimately periodic.

Using a genealogically ordered infinite regular language, we know how to represent an interval ofR. Numbers having an ultimately periodic representation play a special role in classical numeration systems. The aim of this paper is to characterize the numbers having an ultimately periodic representation in generalized systems built on a regular language. The syntactical properties of these words...