机构名称：
¥ 7.0
计算机科学与工程硕士课程大纲 第一学期 类别 - 部门 / 专业 篮子论文 - I PG / CSE / T / 111A 计算理论优化和决策问题、归约、图灵机作为接收器和枚举器 - 图灵机构造技术 - 控制中的并行轨道和存储、子程序图灵机、Church-Turing 论文、图灵机变体 - 多带、非确定性 - 它们与其他模型的等价性。递归可枚举和递归集的属性。无限制语法和图灵机之间的关系。线性有界自动机 - 与上下文敏感语言的关系图灵机的枚举、不可判定问题的存在、涉及图灵机和 CFG 的不可判定问题。通用图灵机作为通用计算机的模型，后对应问题 - 应用，图灵机的有效和无效计算。图灵机的时间和空间复杂性，NP 完整性。参考文献：
计算机科学与工程硕士
主要关键词
相关文件推荐
