That’s one small step for a man, a giant leap for mankind.
The study of automata and formal languages is fundamental to understanding the limits of computation.