机器学习算法的最终测试是它在新的、未见过的数据上表现良好的能力。
The study of automata and formal languages is fundamental to understanding the limits of computation.