Open AccessBook
Varieties of Formal Languages
Jean-Eric Pin,Raymond E. Miller +1 more
About:
The article was published on 1986-05-31 and is currently open access. It has received 644 citations till now. The article focuses on the topics: Chomsky hierarchy & Abstract family of languages.read more
Citations
More filters
Book ChapterDOI
Languages, automata, and logic
TL;DR: The subject of this chapter is the study of formal languages (mostly languages recognizable by finite automata) in the framework of mathematical logic.
Journal ArticleDOI
On uniformity within NC 1
TL;DR: It is shown that Immerman's families of circuits defined by first-order formulas and a uniformity corresponding to Buss' deterministic log-time reductions are equivalent, leading to a natural notion of uniformity for low-level circuit complexity classes.
Book
The q-theory of Finite Semigroups
John Rhodes,Benjamin Steinberg +1 more
TL;DR: The q-theory of finite semigroups as mentioned in this paper is a theory that provides a unifying approach to finite semigroup theory via quantization, and it is the only contemporary exposition of the complete theory of the complexity of finite semiigroups.
Proceedings Article
On uniformity within NC 1 .
TL;DR: It is shown that Immerman's families of circuits deened by rst-order formulas and Buss' deterministic log-time reductions are equivalent, leading to a natural notion of uniformity for low-level circuit complexity classes.
Book
Codes and Automata
TL;DR: This paper presents a meta-anatomy of the polynomials of finite codes using a model derived from the model developed in [Bouchut-Boyaval, M3AS (23) 2013].