A-level 計算機科學/AQA/試卷 1/計算理論

==抽象和自動化

• 解決問題
• 遵循和編寫演算法
• 抽象
• 資訊隱藏
• 過程抽象
• 函式抽象
• 資料抽象
• 問題抽象化簡
• 分解
• 組合
• 自動化

==正則語言

• 正則語言
• 有限狀態機
• 正則表示式的數學
• 緊湊集符號
• 正則表示式

==上下文無關語言

• 巴科斯正規化

==演算法分類

• 演算法分類
• 比較演算法
• 大O符號的數學
• 複雜度順序
• 計算的侷限性
• 演算法問題的分類
• 可計算和不可計算問題
• 停機問題

==計算模型

• 圖靈機