Describir: A half-century of automata theory