We consider an extension of first-order logic by modular quantifiers of a fixed modulus q. Drawing on collapse results from finite model theory and techniques of finite semigroup theory, we show that if the only available numerical predicate is addition, then sentences in this logic cannot define the set of bit strings in which the number of 1's is divisible by a prime p that does not divide q. More generally, we completely characterize the regular languages definable in this logic. The corresponding statement, with addition replaced by arbitrary numerical predicates, is equivalent to the conjectured separation of the circuit complexity class ACC from NC1. Thus our theorem can be viewed as proving a highly uniform version of the conjecture. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Roy, A., & Straubing, H. (2006). Definability of languages by generalized first-order formulas over (N,+). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3884 LNCS, pp. 489–499). https://doi.org/10.1007/11672142_40
Mendeley helps you to discover research relevant for your work.