Title: Some bounds on the complexity of predicate recognition by finite automata
Subjects: Computational complexity, Predicate calculus, Sequential machine theory