Handbook of theoretical computer science (vol. B)
Results on homomorphic realization of automata by &agr;0-products
Theoretical Computer Science
Journal of Computer and System Sciences
Finite automata, formal logic, and circuit complexity
Finite automata, formal logic, and circuit complexity
Reasoning about infinite computations
Information and Computation
Regular languages defined with generalized quantifiers
Information and Computation
Languages, automata, and logic
Handbook of formal languages, vol. 3
Automata, Languages, and Machines
Automata, Languages, and Machines
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Varieties Of Formal Languages
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
Classifying discrete temporal properties
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Quasi-star-free languages on infinite words
Acta Cybernetica
Actions, wreath products of C-varieties and concatenation product
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
Fine hierarchies and m-reducibilities in theoretical computer science
Theoretical Computer Science
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
Language and Automata Theory and Applications
Hierarchies of Piecewise Testable Languages
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Theoretical Computer Science
The expressive power of the shuffle product
Information and Computation
C-varieties, actions and wreath product
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Hi-index | 0.00 |
We define the degree of aperiodicity of finite automata and show that for every set M of positive integers, the class QAM of finite automata whose degree of aperiodicity belongs to the division ideal generated by M is closed with respect to direct products, disjoint unions, subautomata, homomorphic images and renamings. These closure conditions define q-varieties of finite automata. We show that q-varieties are in a one-to-one correspondence with literal varieties of regular languages. We also characterize QAM as the cascade product of a variety of counters with the variety of aperiodic (or counter-free) automata. We then use the notion of degree of aperiodicity to characterize the expressive power of first-order logic and temporal logic with cyclic counting with respect to any given set M of moduli. It follows that when M is finite, then it is decidable whether a regular language is definable in first-order or temporal logic with cyclic counting with respect to moduli in M.