随笔分类 - 计算理论
摘要:目录 第一章 正则语言 状态图 自动机的形式化定义 非确定性 正则表达式 泵引理 使用泵引理证明某个语言非正则的方法 第二章 上下文无关文法 上下文无关文法概述 1、上下文无关文法形式化定义 2、上下文无关文法举例 3、设计上下文无关文法 4、歧义...
阅读全文
摘要:第六章 高级专题 递归定理 上面和下面图有点问题,执行A时输出B,将B作为输入参数传递给B,B执行q()得到A的描述,然后和输入参数(这里是B)合在一起,然后打印。所以上面和下面的图标注错了 递归定理的应用 第七章时间复...
阅读全文
摘要:第一章1 1.1描述DNF的状态图 1.2 画出DFA形式化描述 1.3 DNF由形式化描述画出状态图 1.6 (作业题)画出识别下述语言的DFA状态图 每个圆圈都要有字母表的输出箭头如果不符合条件的直接引向死胡同圆圈,在那个圆圈里不管输入什么...
阅读全文