A-level 计算机科学/AQA/试卷 1/计算理论

==抽象和自动化

• 解决问题
• 遵循和编写算法
• 抽象
• 信息隐藏
• 过程抽象
• 函数抽象
• 数据抽象
• 问题抽象化简
• 分解
• 组合
• 自动化

==正则语言

• 正则语言
• 有限状态机
• 正则表达式的数学
• 紧凑集符号
• 正则表达式

==上下文无关语言

• 巴科斯范式

==算法分类

• 算法分类
• 比较算法
• 大O符号的数学
• 复杂度顺序
• 计算的局限性
• 算法问题的分类
• 可计算和不可计算问题
• 停机问题

==计算模型

• 图灵机