现在买面粉，很多面粉袋子上有个机器勾在一起的封口线，要找准一个线头，一拉，就能把整跟线拆下来。

但是你看我用这个账号发这个话题，说明它的计算有关。是的。在TeReSe的经典的项重写系统（term rewriting systems）的书里，开篇就有一个用「绳结」表达项重写的例子。

一个「活扣」就是一个redex，拉开它就是就是一次reduction，即一步「计算」。面袋子的封口线还更高级一点，它是一环扣一环，是「递归」；你用力一拉把所有的redex都去掉了，于是你得到了normal form。

++++

情人节下个月就到了；你可以把这个故事讲给女朋友听。还可以出门时帮她系好鞋带，这也是programming，如果把鞋带拉成长短不对称的，可以把长的一侧连打两个结，就是递归了。又因为这两个结没有名字，所以它是匿名递归，这可能意味着你会使用Y组合子了。

所以你看理论计算机科学和生活是息息相关的。当然它不能替代玫瑰和巧克力，但是它可以在庸俗的荷尔蒙之上撒上理性之光，给平凡的生活盖一层abstract and profound topping。