Αποστολή με SMS: Finite automata, formal logic, and circuit complexity /