計算理論導論【零】導言

本課程主要內容 自動機理論(5 weeks) 計算理論 (3 weeks) 複雜理論(8 weeks) 先修內容： 離散數學，算法基礎 【以下內容均爲簡要介紹，具體內容在以後章節中介紹】 簡單來說，複雜性理論是把問題分解成容易計算和難以計算的；而在可計算性理論當中，是把問題分成可解的和不可解的。 自動機理論闡述的是計算的數學模型的定義和性質。自動機模型又分爲有窮自動機模型和上下文無關文法模型。 W

>>阅读原文<<