SMS versenden: Automata and theoretical computer science