晚上十一点半。屏幕那层冷光直往脸上糊，跟抹了层地沟油似的。文档里还瘫着份没写完的方案，光标在那儿一闪，一闪，真他妈像催命。盯着它发愣，脑子里突然就窜出大学那会儿啃过的一本砖头：《自动机理论、语言和计算导论》。边角卷得跟狗啃的一样，里头画满状态转换图。圈圈套圈圈，箭头拉着线，写着“若输入A则跳转至B”。机器就靠这破规则跑。一串字符喂进去，顺着箭头挪腾，最后要么进“接受”圈，要么掉“拒绝”圈。乍一看，规整得跟瑞士钟表似的。透着一股子“一切尽在掌握”的踏实感。
那会儿我估计是年轻气盛，总以为人生也他妈该是套严丝合缝的自动机。选什么专业？投哪份简历？跟谁谈恋爱？甚至周末去哪家馆子吃碗面，都觉得该有个明确的“转移函数”。条件一凑齐，咔哒。丝滑切到下一关。我们这代人太爱把日子切碎装了。日程表排得密不透风，连上厕所都得掐着秒表。总觉得只要输入的信息够精确，人生这台机器吐出来的，就他妈一定是标准答案。
可书翻到后半截，直接给你甩个图灵机和停机问题。后来数学家们证明了，压根儿不存在什么万能算法，能提前看穿一段程序在给定输入下到底会不会停。有些系统，死循环。有些题，压根儿没解。看到这儿我对着书页愣了挺久。说实话，这结论听着挺冷飕飕的，甚至有点丧。但仔细咂摸咂摸，这事儿大概就是这么个意思——它太像咱们自己了。
入行这几年，我眼瞅着太多人非要用逻辑把日子框得死死的。前阵子跟一朋友喝咖啡，人家掏出个Excel表格，隔半年就得复盘一次人生。列出一二三四？觉得哪步走岔了，赶紧调参数重启。但生活哪是套死规矩啊？有时候你明明按部就班挑了所有“正确”的选项，状态却突然卡壳。不是输入错了。是这题，压根儿就没设停机键。我觉得吧，可能很多人没意识到，有些路走着走着就发现是条死胡同。硬拐，只会更难受。
就拿前年冬天来说吧。我砸了不少心思去捂热一段本来挺近的关系。天天琢磨怎么回微信不踩雷？调整相处节奏？以为只要持续往里填耐心和沟通，状态总能往暖乎的方向挪。后来某天突然醒过味儿来。有些关系根本不是靠算法能算清的。它根本不认状态转移那套。也没个明确终点让你靠岸。你只能干坐着，看指针瞎转。直到自己先熬不住，或者干脆让时间把事儿慢慢磨平。这事儿未必是坏事。有时候不硬逼着要个结果，反倒能喘口气。
自动机理论里有个词叫“不可判定性”。说白了，碰上某些题，你给再多算力？算到地老天荒？也憋不出个“是”或“否”。以前我总把这当成计算机科学的丧气话。现在再看，它反倒能让人松快下来。原来不是咱不够拼命，也不是规矩定得不够死。是有些命里的坎儿，本来就不该被“搞定”。可能吧。承认自己搞不定，比硬着头皮装明白人轻松多了。
咱们总以为长大，就是把那些模棱两可的状态，一个个敲定成死节点？可慢慢咂摸出来，真正能让人扎下根的，往往是那些没法被三言两语概括的烂账。比如一场没下文的爱慕。一份干了老久依然觉得发空的工作。或者某天猛然发觉，自己一直在替别人的期待跑代码。这些节骨眼上，压根儿没有转移箭头，也没有个接受状态。你只能揣着它接着往前走。不硬抠答案。也不逼着自己停机。我觉得这事儿挺正常的。人嘛，总得留点模糊地带。不然，早让逻辑勒死了。
把书扣上的时候，屏幕上的光标还在闪。我没关文档。也没急着给明天的待办清单排座次。只是把椅子往后撤了撤。听见外头有辆末班公交车碾过积水的路面，轮胎卷起的水声哗啦哗啦的。动静不大。但听着踏实。人这一辈子，本来就不是为了赶着去按哪个终态开关。能在某个状态里多赖一会儿？允许自己多转两圈？不急着找停机指令，这就挺够了。大概吧。活着本来就是边转边摸索。哪有什么标准答案。