Text this: Finite automata, formal logic, and circuit complexity /