《計算複雜性：現代方法》——1.2 圖靈機

本節書摘來自華章計算機《計算複雜性：現代方法》一書中的第1章，第1.2節，作者 ［美］桑傑夫·阿羅拉（Sanjeev Arora），博阿茲·巴拉克（Boaz Barak），譯 駱吉洲，更多章節內容可以訪問雲棲社區「華章計算機」公衆號查看。 1.2　圖靈機\ 演草紙 演草紙包含k條帶，每條帶均由單向無限延伸的很多單元構成，每個單元能夠存儲稱爲機器的字母表的有限集Γ中的一個符號。每條帶均有一個帶頭，它

>>阅读原文<<