Zaslat SMS: Applied automata theory.