形式语言与自动机 智能信息处理.ppt

* Homework 3.1、3.2、3.4、3.5、3.7、3.15、3.16 * Jack?St.?Clair?Kilby 1958年第一块集成电路 ； Lady?Ada?Augusta?Lovelace奥古斯塔艾达，拉弗拉斯伯爵夫人，英国数学家，世界上第一个计算机程序员。 爱德华?罗伯茨于1974年推出最早基于英特尔微处理器的个人电脑Altair 8800，虽然，Altair的生命非常短暂，却从此点燃了PC创新之火，并激发了乔布斯、盖茨等无数爱好者。作为第一个雇佣比尔?盖茨和保罗?艾伦的雇主，对于微软的地步起到了至关重要的作用。罗伯茨无愧于“PC之父”的称号。 斯蒂夫·沃兹尼亚克一手设计了苹果苹果I型和Ⅱ型电脑，带动了全球个人电脑普及应用浪潮，并迫使IBM PC于1981年面世，从此改变了整个计算机业的面貌。1977年，世界上只有少数人具备硬件、软件、电子设备和电路板布线等方面的知识，同时也只有少数人了解苹果Ⅱ计算机的制造技术、艺术特点，并欣赏它的设计优点，史蒂夫·沃兹尼克是个当之无愧的奇才。尽管他的贡献被某些人看作在适当的时间、适当的地点、整合适当的理念，恰好与因技术迅速发展而开始大量生产的电脑完美地相符，但沃兹的独创性和不懈的创造性使他成为唯一适合获得“推动PC革命”的头衔。他与斯蒂夫·乔布斯一起创办了苹果电脑。 现时他仍然是一位小学教师。 * §3.1.2 图灵机的例子 例3.5 A = { w#w| w∈{0，1}*} 例3.4 描述TM M2，它判定的语言是所有由0组成、长度为2的方幂的字符串，即A = { 0j | j=2n } 详见书90页 q1 q8 q2 q4 q6 q7 q3 q5 start # ? #, R 1 ? X, R X ? X, R ? ? ?, R 0 ? 0, R # ? #, R # ? #, R X ? X, R 1 ? X, L 0?X, L X ? X, R X ? X, R # ? #, L 0 ? X, R = accept state Reject state not shown for simplicity 1 ? 1, R 0 ? 0, R 1 ? 1, R 0 ? 0, L 1 ? 1, L 0 ? 0, L 1 ? 1, L X ? X, L 书上的例 3.5,3.6, 3.7比较细致，有点繁而不难，学生应仔细读一遍。 * Questions Let L’ be the complement（反、补） of language L Is the following true? If L is Turing-decidable, L is Turing-recognizable If L is Turing-recognizable, L is Turing-decidable If L is Turing-decidable, so is L’ If L is Turing-recognizable, so is L’ If both L and L’ are Turing-recognizable, L is Turing-decidable * 主要内容 3.1 图灵机 3.1.1 图灵机形式化定义 3.1.2 图灵机例子 3.2 图灵机的变形 3.2.1 多带图灵机 3.2.2 非确定型图灵机 3.2.1 枚举器 3.2.1 与其他模型的等价性 3.3 算法的定义 3.3.1 希尔伯特问题 3.3.2 描述图灵机的术语 * control 0 1 0 1 ? ? ? L ? = blank symbols a b a b a a ? L a b a b ? ? ? L It is like a TM, but with several tapes §3.2 图灵机的变形 3.2.1 多带图灵机 * 一个 k-带图灵机M具有k个不同的带子与读/写头,是一个7-tuple (Q,?,?,?,q0,qaccept,qreject), 其中 Q finite set of states ? finite input alphabet (without “_”) ? finite tape alphabet with { _ } ? ? ? ? q0 start state ? Q qaccept accept state ? Q qreject reject state ? Q ? the transition function ?: Q\{qaccept,qreject} ? ?k ? Q ? ?k ? {L,R}k