Chapter1 形式语言与自动机（研究生）英文课件.pptVIP

《形式语言与自动机》 学时：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 1INTRODUCTION 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 even, 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 set normally has many subsets. The set of all subsets of a set S is called the powerset of S and