Logically defined subsets of INk

  • Pierre Péladeau
Part of the Lecture Notes in Computer Science book series (LNCS, volume 379)


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 ACC0 are discussed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    D. A. M. Barrington, K. Compton, H. Straubing and D. Thérien, Regular languages in NC 1, Draft.Google Scholar
  2. [2]
    D. A. Barrington and D. Thérien, Finite monoids and the fine structure of NC 1, Proc. 19th ACM STOCK, (1987), 101–109.Google Scholar
  3. [3]
    J. Büchi, Weak second-order arithmetic and finite automata, Z. Math. Logik Grundlagen Math. 6, (1960), 66–92.Google Scholar
  4. [4]
    S. Eilenberg and M. P. Schüzenberger, Rational sets in commutative monoids, Journal of Algebra 13, (1969), 173–191.Google Scholar
  5. [5]
    S. Ginsburg and E. H. Spanier, Semigroups, Presburger formulas, and languages, Pacific Journal of Math. 16, (1966), 285–296.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    R. McNaughton and S. Papert, Counter-Free Automata, MIT Press, Cambridge, 1971.Google Scholar
  8. [8]
    P. Péladeau, Formulas, numerical predicates, and the fine structure of NC 1, Draft.Google Scholar
  9. [9]
    J. E. Pin, Variétés de langages formels, Masson, Paris, 1984, and Varieties of Formal Languages, Plenum, London, 1986.Google Scholar
  10. [10]
    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).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Pierre Péladeau
    • 1
  1. 1.L.I.T.P., Université Paris 6Paris

Personalised recommendations