Abstract
For a given numeration system U, a set X of integers is said to be U-star-free if the language of the normalized U-representations of the elements in X is star-free. Adapting a result of McNaughton and Papert, we give a first-order logical characterization of these sets for various numeration systems including integer base systems and the Fibonacci system. For k-ary systems, the problem of the base dependence of this property is also studied. Finally, the case of k-adic systems is developed.
Similar content being viewed by others
References
BRUYÈRE, V., and G. HANSEL, ‘Bertrand numeration systems and recognizability’, Latin American Theoretical INformatics (Valparaìso, 1995), Theoret. Comput. Sci. 181 (1997), 17-43.
BRUYÈRE, V., G. HANSEL, C. MICHAUX, and R. VILLEMAIRE, ‘Logic and p-recognizable sets of integers’, Journèes Montoises (Mons, 1992), Bull. Belg. Math. Soc. Simon Stevin 1 (1994), 191-238.
BÜCHI, J. R., ‘Weak second-order arithmetic and finite automata’, Z. Math. Logik Grundlagen Math. 6 (1960), 66-92.
COBHAM, A., ‘On the base-dependence of sets of numbers recognizable by finite automata’, Math. Systems Theory 3 (1969), 186-192.
COBHAM, A., ‘Uniform tag sequences’, Math. Systems Theory 6 (1972), 186-192.
EBBINGHAUS, H.-D., and J. FLUM, Finite model theory. Second edition, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999.
EILENBERG, S., Automata, languages, and machines. Vol. A. Pure and Applied Mathematics, Vol. 58. Academic Press, New York, 1974.
FRAENKEL, A. S., ‘Systems of numeration’, Amer. Math. Monthly 92 (1985), 105-114.
FROUGNY, C., ‘Representations of numbers and finite automata’, Math. Systems Theory 25 (1992), 37-60.
KARI, L., G. ROZENBERG, and A. SALOMAA, ‘L systems’, in Handbook of formal languages, Vol. 1, Springer, Berlin, 1997, pp. 253-328.
LECOMTE, P. B. A., and M. RIGO, ‘Numeration systems on a regular language’, Theory Comput. Syst. 34 (2001), 27-44.
DE LUCA, A., and A. RESTIVO, ‘Representations of integers and laguage theory’, Mathematical foundations of computer science (Prague, 1984), 407-415, Lecture Notes in Comput. Sci. 176, Springer, Berlin, 1984.
DE LUCA, A., and A. RESTIVO, ‘Star-free sets of integers’, Theoret. Comput. Sci. 43 (1986), 265-275.
McNAUGHTON, R., and S. PAPERT, Counter-free automata. M.I.T. Research Monograph, No. 65. The M.I.T. Press, Cambridge, Mass.-London, 1971.
PERRIN, D., and J.-E. PIN, ‘First order logic and star-free sets’, J. Comput. System Sci. 32 (1986), 393-406.
RIGO, M., ‘Characterizing Simpler Recognizable Sets of Integers’, Mathematical foundations of computer science (Warszawa-Otwock, 2002), Lecture Notes in Comput. Sci. 2420, pp. 615-624.
SALOMAA, A., Formal languages. Academic Press, New York, 1973.
SCHÜTZENBERGER, M. P., ‘On finite monoids having only trivial subgroups’, Information and Control 8 (1965), 190-194.
SUDKAMP, T. A., Languages and Machines: An Introduction to the Theory of Computer Science, Second edition, Addison-Wesley, 1998.
THOMAS, W., ‘Classifying regular events in symbolic logic’, J. Comput. System Sci. 25 (1982), 360-376.
THOMAS, W., ‘Languages, Automata and Logic’, in Handbook of formal languages, Vol. 3, Springer, Berlin, 1997, pp. 389-455.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rigo, M. Characterizing Simpler Recognizable Sets of Integers. Studia Logica 76, 407–426 (2004). https://doi.org/10.1023/B:STUD.0000032105.17770.38
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000032105.17770.38