加入收藏
|
设为首页
|
搜索
搜索
学院概况
学院简介
学院领导
机构设置
人才培养
本科生培养
专业介绍
本科招生介绍
创新人才培养
实验班人才培养
研究生培养
培养方案
招生信息
招生宣传
文件文档
获奖与成果
教学获奖
教学成果
下载专区
科研学术
科研方向
科研经费
论文专利
师资建设
师资概况
教师一览
师德师风监督举报途径
合作交流
国际合作
留学生培养
党群工作
喜庆二十大
学习教育
规章制度
学习园地
支部风采
教工之家
学生工作
团委学生会
一院百企
班级风采
学生特色展示
蓝图工作室
ACM竞赛队
优秀学生代表
联系我们
服务社会
科技扶贫&乡村振兴
支援边疆
科技服务
校友工作
计算机学院( 国家示范性软件学院 )简介
北京邮电大学1977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为计算机学院。2020年,将原计算机学院、软件学院、网络技术研究院调整、合并组建新的计算机学院(国家示范性软件学院),并支撑网络与交换技术国家重点实验室(北京邮电大学)。
课程信息
当前位置:
网站首页
>
师资建设
>
教师一览
>
数据科学与服务中心
形式语言与自动机
来源:计算机学院 发布日期:2019-01-21
浏览量:次
课程编号
222.04403
课程名称
形式语言与自动机
任课老师
张雷
杨娟
课程类型
必修/学位课
课程阶段
本科
学时学分
34学时2学分
基本要求
内容提要
形式语言与自动机是计算机科学的理论基础课之一。课程中主要介绍了形式语言的基本概念、自动机的模型以及形式语言与自动机的等价性,包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机的基本知识等。同时介绍了自动机在通信领域的某些应用。本课程的学习致力于对学生进行形式化思维训练,使学生掌据各类有限自动机的原理和构造方法,各类自动机与相关文法之间的关系,培养学生清晰而准确地表达问题的能力。
教学方式
指定教材
《形式语言与自动机》,王柏 杨娟 编著,2003.2 北京邮电大学出版社
参考书目
先修课程
计算机导论与程序设计、离散数学
开课学期
大二春
更多内容
祝贺北京邮电大学计算机学院(国家示范性软件学...
2021-03-01
【计邮2025】北邮程序设计竞赛队再度挺进ICPC世...
2025-03-21
【计邮2025】计算机学院(国家示范性软件学院)...
2025-01-13