×
←
→
基于RGPV/RGTU教学大纲的计算说明理论 - CS-505 - 计算理论 分支：计算机科学与工程v学期 课程：CS 505计算理论 单元1：自动机：基本机器，FSM，过渡图，过渡矩阵，确定性和非确定性FSM，DFA和NDFA的等效性，Mealy＆Moore机器，有限自动机的最小化，双向有限自动组。
常规集和常规语法：字母，单词，操作，常规集，有限的自动机和正则表达式，myhill-nerode定理泵送引理和常规集，泵浦引理的应用，常规集的闭合特性。
第2单元：上下文 - 免费语法：CFG简介，常规语法，衍生树和歧义，简化上下文的语法，正常形式（乔姆斯基正常形式和Greibach正常形式）。
单元3：下降自动机：PDA的定义，确定性下降自动机，PDA，对应于给定PDA的给定CFG，CFG。
自由语言：CFL的泵送引理，CFL的关闭特性，涉及CFL的决策问题。
单元4：图灵机：简介，TM模型，表示和语言TM设计，通用TM和其他修改，教堂的假设，复合和迭代TM的可接受性。
图灵机作为枚举。
单元5：可处理和不可收缩的问题：P，NP，NP完整和NP硬问题，这些问题的示例，例如满足能力问题 问题，分区问题等 ***如果您的Internet连接缓慢，则需要时间来加载。