SMS dit: A half-century of automata theory