Chapter1形式语言与自动机研究生英文.ppt

《形式语言与自动机》 学时： 36 学分： 2 教材： ? Peter Linz. An Introduction to Formal Languages and Automata . 北 京 ： China Machine Press, 2004 ? Peter Linz 著 . 孙家啸译 . 形式语言与自动机导论 . 北京：机械工业出版社 , 2005 最典型的计算机问题求解思路： 问题 → 形式化描述 → 自动化（计算机化） 计算机科学与技术专业的人员应该具有四个基 本的专业能力： ? 计算思维能力（主要包括逻辑思维能力和抽 象思维能力） ? 算法的设计与分析能力 ? 程序设计与实现能力 ? 计算机软硬件系统的认知、分析、设计与应 用能力。 参考书目： ? 王柏 , 杨娟著 . 形式语言与自动机 . 北京：北京邮电大学出 版社 , 2003 ? Michael Sipser 著 . 张立昂等译 . 计算理论导引 . 北京：机 械工业出版社 , 2000 ? 陈崇昕著 . 形式语言与自动机 . 北京：北京邮电大学出版社 , 1988 ? John E Hopcroft, Rajeev Motwani, Jeffrey D Ullman. Introduction to Automata Theory, Languages and Computation. 北京：清华大学出版社 , 2002 ? Kenneth H Rosen 著 . 袁崇义 , 屈婉玲等译 . 离散数学及其 应用 . 北京：机械工业出版社 , 2002 ? 蒋宗礼 , 姜守旭著 . 形式语言与自动机理论 . 北京：清华大 学出版社 , 2003 ? 蒋宗礼著 . 形式语言与自动机理论教学参考书 . 北京：清华 大学出版社 , 2003 ? 何成武著 . 自动机理论及其应用 . 北京：科学出版社 , 1990 ? 李敏生 . 形式语言 . 北京：科学出版社 , 1989 Formal Languages and Automata Lin Hong Chapter 1 INTRODUCTION TO THE THEORY OF COMPUTATION ? 1.1 Introduction ? 1.2 Mathematical Preliminaries and Notation ? 1.3 Three Basic Concepts ? 1.4 Some Applications Computer science is a practical discipline. why study theory? （ 1 ） theory provides concepts and principles that help us understand the general nature of the discipline. （ 2 ） the ideas have some immediate and important applications. （ OS 、 compiler ） . （ 3 ） The subject matter is intellectually stimulating and fun. 1.1 Mathematical Preliminaries and Notation 1.1.1 sets A set is a collection of elements, without any structure other than membership. the set of integers 0, 1, 2 is shown as S = {0, 1, 2}. S = {i : i 0, i is even} (1.1) S is set of all i, such that i is greater than zero, and i is 癥湥尬 The usual set operations are union ( ∪ ) ： S1 ∪ S2={x : x ∈ S1 or x ∈ S2} intersection (∩) ： S1∩S2={x : x ∈ S1 and x ∈ S2} difference ( － ) ： S1 － S2={x : x ∈ S1 and x ∈ S2} If , but S contains an element not in S1 we say that S1 is a proper subset of S; we write this as A given