真相往往难以表述,有时需要虚构来使其看似可信。
The study of automata and formal languages is fundamental to understanding the limits of computation.