Abstract
We give a characterization, in terms of a restriction of semi-simple sets, of the class of subsets of IN k definable in an extension of first-order logic obtained by adjoining quantifiers which count modulo an integer. It is shown that this class strictly contains the class of recognizable subsets of IN k and is strictly contained in the class of rational subsets of IN K. Links with the parallel complexity class ACC 0 are discussed.
Research supported by the Natural Sciences and Engineering Research Council of Canada, and by the PRC Mathématique et Informatique, France.
Preview
Unable to display preview. Download preview PDF.
References
D. A. M. Barrington, K. Compton, H. Straubing and D. Thérien, Regular languages in NC 1, Draft.
D. A. Barrington and D. Thérien, Finite monoids and the fine structure of NC 1, Proc. 19th ACM STOCK, (1987), 101–109.
J. Büchi, Weak second-order arithmetic and finite automata, Z. Math. Logik Grundlagen Math. 6, (1960), 66–92.
S. Eilenberg and M. P. Schüzenberger, Rational sets in commutative monoids, Journal of Algebra 13, (1969), 173–191.
S. Ginsburg and E. H. Spanier, Semigroups, Presburger formulas, and languages, Pacific Journal of Math. 16, (1966), 285–296.
S. C. Kleene, Representation of events in nerve nets and finite automata. In C. E. Shannon and J. McCartny (eds.), Automata Studies, Princeton University Press, Princeton, NJ, (1954), 3–41.
R. McNaughton and S. Papert, Counter-Free Automata, MIT Press, Cambridge, 1971.
P. Péladeau, Formulas, numerical predicates, and the fine structure of NC 1, Draft.
J. E. Pin, Variétés de langages formels, Masson, Paris, 1984, and Varieties of Formal Languages, Plenum, London, 1986.
H. Straubing, D. Thérien and W. Thomas, Regular languages defined with generalized quantifiers, to appear in Proc. 15th ICALP, Springer Lecture Notes in Computer Science (1988).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Péladeau, P. (1989). Logically defined subsets of IN k . In: Kreczmar, A., Mirkowska, G. (eds) Mathematical Foundations of Computer Science 1989. MFCS 1989. Lecture Notes in Computer Science, vol 379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51486-4_87
Download citation
DOI: https://doi.org/10.1007/3-540-51486-4_87
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51486-2
Online ISBN: 978-3-540-48176-8
eBook Packages: Springer Book Archive