北京邮电大学形式语言与自动机 绪论 语言与文法.pptVIP

fall 2001 Formal Languages and Automata 课程名称 形式语言与自动机 教师姓名 王柏 （计算机学院 通信软件工程中心） 电话 6228 3774 Office 教三楼 616 信箱 wangbai@ 绪论 课程信息 为什么学习形式语言与自动机 形式语言与自动机概述及应用 课程内容及要求 课 程 性 质 教材： 形式语言与自动机 王柏 杨娟 编著 北京邮电大学出版社 2003.1 经 典 参 考 书 其它参 考 书 为什么学习形式语言与自动机 形式语言与自动机是计算机科学的基础理论之一，是计算机学科的专业基础课。 在人工智能、电信领域等有广泛的应用。 通过一些定理的证明和应用，对大家进行思维训练，从而为今后学习通信软件，协议工程，编译技术，人工智能等内容提供理论基础。 对客观世界的科学研究：目的在于把抽象数学的形式化体系发展成为与现实生活相似的理论模型，从而提供一种通用结构来描述、理解和解决问题。 计算机科学：是关于计算知识的有系统的整体。 计算机科学的两个主要部分： 构成计算基础的一些基本概念和模型； 设计计算系统(软件和硬件)的工程技术（设计理论的应用） 本课程着重介绍第一部分（涉及到一些第二部分的应用），通过形式化技术对