加入收藏 | 设为首页 | 搜索
计算机学院( 国家示范性软件学院 )简介
北京邮电大学1977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为计算机学院。2020年,将原计算机学院、软件学院、网络技术研究院调整、合并组建新的计算机学院(国家示范性软件学院),并支撑网络与交换技术国家重点实验室(北京邮电大学)。
课程信息
形式语言与自动机
课程编号 222.04403
课程名称 形式语言与自动机
任课老师   张雷    杨娟  
课程类型 必修/学位课
课程阶段 本科
学时学分 34学时2学分
基本要求
内容提要 形式语言与自动机是计算机科学的理论基础课之一。课程中主要介绍了形式语言的基本概念、自动机的模型以及形式语言与自动机的等价性,包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机的基本知识等。同时介绍了自动机在通信领域的某些应用。本课程的学习致力于对学生进行形式化思维训练,使学生掌据各类有限自动机的原理和构造方法,各类自动机与相关文法之间的关系,培养学生清晰而准确地表达问题的能力。
教学方式
指定教材 《形式语言与自动机》,王柏 杨娟 编著,2003.2 北京邮电大学出版社
参考书目
先修课程 计算机导论与程序设计、离散数学
开课学期 大二春
更多内容