SMS: Automata and theoretical computer science