Αποστολή με SMS: Automata theory and applications in logic and complexity