Abstract
This article surveys the links between regular languages and the class NC 1, showing their importance in the classification of the fine structure of this parallel complexity class. Logical characterizations of these two classes are given in which the only difference lies in the use of arbitrary numerical predicates in the circuit case. It is also shown that there is a unique maximal class of numerical predicates which allows us to define only regular languages. Several characterizations of this class are given.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have