补充：学习理论的意义

还忘了一条：学习理论能训练我们对直观想法的表述能力。形式化方法要求我们把直观的描述转换成严格的数学描述，或者把一种形式的语言转换为另一种形式的语言。有时一个想法的直观意义明显，但它的形式化描述却不容易。比如说，把非正则的语言{a ⁱb ⁱ | i > 0} 用Monadic Second Order Logic 表示为∃X ( X(min) ∧∀y∀z (S(y,z) => (X(y) <=> !X(z))) ∧ !X(max))。与此类似，编程语言也是一种形式化的语言（最主要的特征：没有二义性，和严格受限的语素）。我们编程时也面临把心中想法转换成一行行程序的问题。至少对我来说，学习理论扩展了我对形式化语言的驾驭能力，让我相对轻松地把复杂的想法转化成精简的数学或算法语言描述。