automatic sequences; numeration system; regular language; complexity; substitution; morphic word
Abstract :
[en] Let L be an infinite regular language on a totally ordered alphabet (Σ,<). Feeding a finite deterministic automaton (with output) with the words of L, enumerated lexicographically with respect to <, leads to an infinite sequence over the output alphabet of the automaton. This process generalizes the concept of k-automatic sequence for abstract numeration systems on a regular language (instead of systems in base k). Here, we study the first properties of these sequences and their relations with numeration systems.
Disciplines :
Mathematics Computer science
Author, co-author :
Rigo, Michel ; Université de Liège - ULiège > Département de mathématique > Mathématiques discrètes
Language :
English
Title :
Generalization of automatic sequences for numeration systems on a regular language
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
Bibliography
J.-P. Allouche, q-regular sequences and other generalizations of q-automatic sequences, Lecture Notes in Computer Science, vol. 583, Springer, Berlin, 1992, pp. 15-23.
J.-P. Allouche, Sur la complexité des suites infinies, Bull. Belg. Math. Soc. 1 (1994) 133-143.
V. Bruyère, G. Hansel, Bertrand numeration systems and recognizability, Theoret. Comput. Sci. 181 (1997) 17-43.
A. Cobham, On the Hartmanis-Stearns problem for a class of tag machines, IEEE Conf. Record of 1968 Ninth Ann. Symp. on Switching and Automata Theory, pp. 51-60.
A. Cobham, Uniform tag sequences, Math. Systems Theory 6 (1972) 186-192.
F.M. Dekking, M. Mendès France, A. van der Poorten, Folds!, Math. Intelligencer 4 (1982) 130-138, 173-181, 190-195.
C. Frougny, Numeration systems, Algebraic Combinatorics on Words, Ch. 7, Cambridge University Press, Cambridge, to appear.
C. Frougny, B. Solomyak, On representation of integers in linear numeration systems, in: Ergodic Theory of Zd Actions, Warwick, 1993-1994, London Mathematic Society Lecture Note Series 228, Cambridge University Press, Cambridge, 1996, pp. 345-368.
M. Hollander, Greedy numeration systems and regularity, Theory Comput. Systems 31 (2) (1998) 111-133.
P.B.A. Lecomte, M. Rigo, Numeration systems on a regular language, preprint (1999), see also http://xxx.lanl.gov/abs/cs.OH/9903005.
A. Maes, Morphic predicates and applications to the decidability of arithmetic theories, Doctoral dissertation, Université de Mons-Hainaut, 1999.
C. Mauduit, Sur l'ensemble normal des substitutions de longueur quelconque, J. Number Theory 29 (3) (1988) 235-250.
C. Mauduit, Propriétés arithmétiques des substitutions, Séminaire de Théorie des Nombres, Paris (1989-90) Progress in Mathematics, vol. 102, Birkhäuser, Boston, 1992, pp. 177-190.
J.-J. Pansiot, Complexité des facteurs des mots infinis engendrés par morphismes itérés, Lecture Notes in Computer Science, vol. 172, Springer, Berlin, 1984, pp. 380-389.
J. Shallit, A generalization of automatic sequences, Theoret. Comput. Sci. 61 (1988) 1-16.
J. Shallit, Numeration systems, linear recurrences, and regular sets, Inform. and Comput. 113 (2) (1994) 331-347.
Similar publications
Sorry the service is unavailable at the moment. Please try again later.
This website uses cookies to improve user experience. Read more
Save & Close
Accept all
Decline all
Show detailsHide details
Cookie declaration
About cookies
Strictly necessary
Performance
Strictly necessary cookies allow core website functionality such as user login and account management. The website cannot be used properly without strictly necessary cookies.
This cookie is used by Cookie-Script.com service to remember visitor cookie consent preferences. It is necessary for Cookie-Script.com cookie banner to work properly.
Performance cookies are used to see how visitors use the website, eg. analytics cookies. Those cookies cannot be used to directly identify a certain visitor.
Used to store the attribution information, the referrer initially used to visit the website
Cookies are small text files that are placed on your computer by websites that you visit. Websites use cookies to help users navigate efficiently and perform certain functions. Cookies that are required for the website to operate properly are allowed to be set without your permission. All other cookies need to be approved before they can be set in the browser.
You can change your consent to cookie usage at any time on our Privacy Policy page.