形式语言与自动机 11 绪论.pptVIP

江苏大学计算机科学与通信工程学院 UJS Jiangsu University 江苏大学计算机科学与通信工程学院 * 江苏大学计算机科学与通信工程学院 * 形式语言与自动机 授课 人： 王 良 民MAIL:wanglm@ujs.edu.cn * 江苏大学计算机科学与通信工程学院 * 第一章 绪论 1.0 一些习惯 1.1 课程意义 1.2 研究对象 1.3 学习方法 1.4 基本知识 1.5 习题 * 江苏大学计算机科学与通信工程学院 * 评分方法： 平时30分 作业表现：10分 上课表现：10分 出席率： 10分 卷面总分100分 您的得分：max（卷面得分×70％＋平时分，卷面得分） 往年成绩： 最好：及格率32/33 最差：40分以下 14/24 * 江苏大学计算机科学与通信工程学院 * 作业要求： 1、作业本要注明班级、学号、姓名（如图）； 2、题目必须抄写； 3、只准用一个作业本，写完后方可更换； 4、交作业：必须在上课前由班长收齐，放到讲台上 两节课中间休息时间、或者是下课后交作业者，不记入平时分 练习本 姓名 你想在上课的时候抄作业？ 没门 ^_^ 班级，学号 * 江苏大学计算机科学与通信工程学院 * 上课要求： 可以睡觉： 可以说话 但是： 1、班上没有别人说话时，不要说； 2、班上说话的声音很大时不要说 但是 1、你已经睡了15分钟时，不要睡了； 2、班上已经有三个同学已经抢你之前睡觉了，你就要坚持，不能睡了 1、必须带：书、笔记本、作业本； 2、必须记笔记； 3、随时准备做课堂作业； 4、手机请关机； 5、无特殊情况不准迟到、早退；不许在上课时间走动、换座位； * 江苏大学计算机科学与通信工程学院 * 出席点名的方法 点名一共十分： 如果我只点一次名，这次就十分； 如果点了两次名，每次5分； 如果你来了，但是上课讲话，影响教学活动的正常开展，那么我发现一次： 1、按缺课一次计算， 2、从上课表现10分里倒扣5分。 3、如果倒扣分超过了20分，对不起， 今年你不用上这门课，明年另请高明教你， 我不会给你成绩，0分我都不给。 * 江苏大学计算机科学与通信工程学院 * 第一章 绪论 1.0 一些习惯 1.1 课程意义 1.2 研究对象 1.3 学习方法 1.4 基本知识 1.5 习题 * 江苏大学计算机科学与通信工程学院 * 1.1.1 计算机科学与技术学科人才的专业能力需求 计算科学思维能力——抽象思维能力、逻辑思维能力 算法设计与分析的能力 程序设计与实现的能力 计算系统的认知、分析、设计和应用能力 计算科学思维能力，也称计算机思维能力，其培养要求是学科本身所决定的。 * 江苏大学计算机科学与通信工程学院 * 1.1.2 计算机科学与技术要解决的根本问题 计算机科学与技术所要解决的根本问题是什么能被有效地自动化 现代计算机技术认为，要想有效地自动化，必须经过抽象进行形式化处理。这就要求相应的从业人员能够研究和理解形式化的对象，并对它们进行形式化的处理。只有具备了计算科学思维能力，才能进行什么能被有效地自动化这一计算机学科的主题所包含的工作 * 江苏大学计算机科学与通信工程学院 * 图1.1 自动化、形式化与计算科学思维 * 江苏大学计算机科学与通信工程学院 * 计算科学思维能力的培养主要是由基础理论系列课程实现的 该系列内容上主要由在数学分析、高等代数、数值分析、概率与数理统计、集合论与图论、近世代数、数理逻辑，以及形式语言与自动机理论、数学建模等，这些课程构成了一个梯级训练系统。在此系统中，连续数学、离散数学、计算模型三部分内容按阶段展开，对应于本学科的学生在大学期间思维方式和能力变化与提高过程的三个步骤。为达到学生思维能力逐步朝着“计算科学思维”不断进步的的客观要求，就要完成学科特需的抽象思维能力和逻辑思维方法的培养。 * 江苏大学计算机科学与通信工程学院 * 图1.2 计算科学思维的梯级训练系统 * 江苏大学计算机科学与通信工程学院 * 在中学阶段所学的数学是具体、静止的运算；到了数学分析阶段，通过连续变量和函数，把运动带入问题考虑的范围中。而到了离散数学阶段，开始考虑基本的运算系统，这些系统是更抽象、更一般的系统，他的运算对象呈现出更为明显的抽象和离散的特性；而形式语言与自动机理论阶段，研究的是计算系统，他的运算对象呈现出的是在更高级别上抽象出来的形式化特征，它的运算往往呈现出模型化的特征。 这种更为一般的、形式化的运算正是计算机科学与技术所研究的计算 * 江苏大学计算机