baidu_41553551的博客

图灵机的高水平描述w#wnai bj ck i*j=kw中所含0的个数是1个数的两倍w 先读入第一条带，然后读到0就把0写入第2条带，读到1就把1写入第3条带，直到读到空格为止。 然后把3个读写头都返回到最左边。 开始读第2条带和第3条带，每次都是读一个字符，如果同时遇上空格符，则接收，否则拒绝。w中所含0的个数不是1个数的两倍w 先读入第一条带，然后读到0就把0写入第2条带，读到1就把1写入第3条带，直到读到空格为止。 然后把3个读写头都返回到最左边..

习题1 将NFA转化为DFA习题 正则表达式转化为NFA习题2 构造识别语言A的DFA 画出状态转移图习题3 给出产生下述语言的上下文无关文法习题4 证明可判定语言类在下列运算下封闭（连接运算 补运算）习题5 蕴含 习题6 上下文无关语言在并运算下封闭，距离说明上下文无关语法在交运算下不一定封闭习题7 设A是正则表达式，证明A是可判定的习题8 描述G1产生的语言习题9 构造识别语言的PDA，要求给出相应的形式描述，并画出状态转移图。习题1 将NFA转化为D..

第一章1.1描述DNF的状态图1.2 画出DFA形式化描述1.3 DNF由形式化描述画出状态图1.6 画出识别下述语言的DFA状态图每个圆圈都要有字母表的输出箭头 如果不符合条件的直接引向死胡同圆圈，在那个圆圈里不管输入什么还是在圆圈里 “至少有几个”有几个就先画几个箭头，最后的圆圈为接受状态（两个圈）再去分别判断前面几个圆圈输入后是否在这几个里去判断应该引向哪 “至多有几个”上面的反例，最后的圆圈为死胡同（死循环） 画出符合条件的后，对于剩余的判断加...

递归定理上面和下面图有点问题，执行A时输出B，将B作为输入参数<M>传递给B，B执行q(<M>)得到A的描述，然后和输入参数<M>（这里<M>是B）合在一起，然后打印。所以上面和下面的图标注错了递归定理的应用p类路径问题路径问题: 给定一个有向图 一个起点和一个终点,确定是否存在从起点到终点的有向路径PATH={<G,s,t>|有向图G有从s到t的有向...

集合{}序列()多元组——有穷序列k元组——k个元素的有穷序列k元函数——k个自变量的函数第一章 正则语言状态图自动机的形式化定义若 A 是机器 M 接受的全部字符串集，则称 A 是机器 M 的语言，记作 L(M)=A，又称 M 识别 A 或 M 接受 A可以看出M2接受所有以1结束的字符串，于是L(M1)={w|w以1结束}如果机器结束在接受状态，则接受它的输入，如果A={w|}如果一个语言被一台有穷自动机识别，...