经济理论提供工具,但现实世界的测试会完善它们。
The study of automata and formal languages is fundamental to understanding the limits of computation.