計算理論導論【一】自動機

自動機歷史 非確定性，與搜索相關，可以沒有操作，可以存在多個操作，在任何下一個狀態可存在多種選擇。 [自動機示意圖] 自動機=代數表達式(Regular expressions) Why study computability theory Q1:Halting Problem 給定一個算法，判斷程序結束之後是否會停機，還是會一直運行下去。 Q2:Post Correspondence Probl

>>阅读原文<<