The study of automata and formal languages is fundamental to understanding the limits of computation.
The best way to predict the future is to invent it.
The architect must be a philosopher.