那么具体一点。
我现在考虑程序自动生成的问题（或者说，定理自动证明的问题）。
顺序语句和条件语句，都可以用搜索的办法，来生成。
那么，我如何判断，需要生成一段循环程序，来解决某个问题呢？
【 在 MegaStone 的大作中提到: 】
: 不考虑空间时间约束，所有可计算问题都可以用递归，也可以通过维护空间无限的栈转为循环
: 但现实中时间空间有限，所以问题需要满足你的时间空间约束，都能用递归或者循环。
: 这个说起来太形而上了。。。
: ...................
--
FROM 112.224.152.*