物理学和数学之间的界限并不像人们想象的那么清晰。
The world is full of obvious things which nobody by any chance ever observes.
The study of automata and formal languages is fundamental to understanding the limits of computation.