The study of automata and formal languages is fundamental to understanding the limits of computation.
从长远来看,我们都死了。