计算理论2012期中.doc

湖南大学期中考试试卷 课程名称： 计算理论 试卷编号： 1 考试时间：100分钟 题 号 一 二 三 四 五 六 七 八 九 十 总分 应得分 10 10 10 10 10 10 10 10 10 10 100 实得分 评分： 评卷人 画出识别下述语言的DFA状态图。（字母表为{0，1}） 1．{w|w除了11和111之外的任何字符} 2．{w|w从0开始的长度为奇数，从1开始的长度为偶数} 简单证明. 用来表示的值，其中p,q是既约的正整数。证明：没有这样的正整数对(p,q)， 把下述正则表达式转换为非确定型自动机。 设计接受下列语言的上下文无关文法（字母表为{0，1}） {|}。 利用泵引理，证明: 不是正则的。 考虑下面的文法： 这个文法是歧义的。试证明串aab的两个： 最左推导； 语法分析树； 设上下文无关文法G: S→aAa|bBb|ε A→C|a B→C|b C→CD|ε D →A|B|ab 将上述CFG转换为乔姆斯基文法。 证明正则语言在下列运算下封闭： 并。 补。  图灵机M的状态图如下： 0→L q5 (→R (→L x→R x→R q1 q2 q3 (→R 0→(,R 0→x,R 0→R 0→x,R x→R (→R qreject qaccept q4 x→R (→R 在以下输入串上，给出M所进入的格局序列： 000 2.0000 用高水平描述的方式设计一个识别下面语言的图灵机。 A={B|B是DFA，B中包含无用状态}有穷自动机DFA的一个无用状态，是在任何输入上都不会进入的状态。 第 2 页 共 3 页 考试中心填写 年 月 日 考 试 用 ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( 装订线 ︵ 答题不得超过此线 ︶ ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( 姓名： 考号： 专业： x→L