自动机和复杂性——第4期 荣誉项目 2025春季学期 - - - - - -阿姆斯特丹

第一部分, 关于自动机和语言, 处理形式语言的概念, 语法, 和自动机. 涵盖了两种类型的语言:常规语言和与上下文无关的语言. 使用常规语言，例如.g.，在搜索查询中，以正则表达式的形式显示. 上下文无关的语言适合于描述编程语言. 这里的自动机理论对应物是有限自动机和更强大的下推自动机. 讨论抽取引理以确定语言是规则的还是上下文无关的. 每种类型的语言都有一类语法:左线性语法和上下文无关语法. 提出了上下文无关语言的解析算法, 以确定字符串是否在该语言中.

在课程的第二部分, 论可计算性理论, 核心问题是“哪些计算可以在计算机上执行”?". 对这个问题进行推理, 图灵机介绍, 还有丘奇和图灵的论文, 以及无法确定的问题的例子:停机问题和邮政通信问题. 说明了如何通过对已知的不可判定问题的化简来表示新问题的不可判定性. 讨论了复杂性层次结构中重要的复杂性类, 特别是P, NP, 和非完全多项式, 以及相应的还原论证.

因此，课程描述下列出的联系时间可能会因每门课程所需的讲座和独立工作的组合而有所不同, CEA的推荐学分是基于阿姆斯特丹自由大学分配的ECTS学分. 1学分等于阿姆斯特丹大学分配的28学时.