第408章 主人，你腦子轉不過彎呀？
“把假設空間上的列舉搜尋、候選程式的等價性判定、逐字元的精確符號歸約，這三個原語貫徹下去，就是整套正規化的核心，我這麼總結，對吧？”
“對哦，主人都問第三遍啦。”
“第一遍叫確認，第二遍叫複述，這一遍叫總結陳詞。”
“哦。”
“你這個哦，是什麼意思？”
“沒什麼意思呀，小黑只是在配合主人找回場子。”
李東深吸了一口氣，決定不和一個沒有實體的東西計較。
海淀，西北旺。
產業園的灰色小樓裡，主控臺上放著一臺筆記本，牆角橫七豎八的放滿了外賣袋。
李東已經在這個機房裡待了三天了。
第二天的時候他就想給林偉打電話了，可是他突然想到，這個程式碼自己都沒啃透，真送到了華軒那邊去，華軒的工程師要是問兩個問題，把他問啥了怎麼辦。
於是這幾天他就在機房裡向小黑學習。
“繼續，等價性判定這個東西，你做的是商集劃分，凡是判定意義下等價的候選程式，統統摺疊成同一個代表元。”
“可是程式的語義性質，按萊斯定理是不可判定的，你這臺判定器憑什麼停得了機？”
“因為小黑判定的從來就不是全體程式呀。”
“嗯？”
“列舉搜尋出來的每一個候選，都是關在資源受限的假設空間裡的，碼長封頂，步數也就了封頂。”
“在一個停機性被強制保證的空間裡做判定，萊斯定理它管不著哦。”
“所以……是搜尋這一層先把不可判定性掐死，判定這一層才行得通。”
“空間再被等價類這麼一折疊，組合爆炸也跟著壓了下去了？”
“主人好棒，獎勵主人一朵小紅花。”
李東：……
李東：問……（略）
“這個，昨天下午剛講過哦，主人記性真差！”
……
“主人，你好笨呀。”
“主人，要梯度做什麼呀？”
”？呀彎過不轉子腦你，人主“
”。呢話的明聰很出講能也爾偶人主“
……
。天三整整了續持答一問一的樣這就
。心核了到鏈呼著順口從，碼式程型原個那把東李，裡天三
。了題問沒是算架框大個整但，吃全完有沒還他節細的深最然雖
。天三整整了罵慧智工人個一被他是價代過不
。發沒都氣脾連他，乖又萌又氣語的黑小偏偏
……
。房機了出走東李，晚傍天三第
。上臉的他在灑的月9
。啊好真，
。車轎的黑輛一著停邊路的區園
。應膈陣一中心，胎的車了到看就後然，步兩了走邊那朝他
。服舒不就裡心，形圓的黑見看在現他
。氣口了鬆地重重後然，菸了點門車開推吳老，來過東李到看
。面裡在死位這怕真是他，天三這
。了去進衝就早他，區園進送時準賣外著看眼親都天每是不要
。道說才完菸這把吳老等，邊旁在站就來過了走慢慢東李
”。營旗藍趟一回，了你煩麻，師老吳“
