數理邏輯5 -- 計算理論2

圖靈機的示意圖（Diagram） 上節筆記給出了圖靈機的定義，那一大堆四元組構成的指令集真個是比彙編代碼還要難懂。不僅難寫，更難檢查。因此，我們需要一種「簡便」的圖靈機表示方式。 我們說，一個圖靈機的示意圖包含以下內容： (1) 令 F1,F2,...,Fr F 1 , F 2 , . . . , F r 爲任意圖靈機，它們有共同的字符集爲 A={a0,a1,...,ak} A = { a 0 ,

>>阅读原文<<