The study of automata and formal languages is fundamental to understanding the limits of computation.
The world needs reliable energy, and coal still plays a critical role in providing it.