形式语言与自动机理论.pptVIP

形式语言与自动机理论 第一页，共十页，2022年，8月28日 信息与计算科学专业 培养 解决信息技术中所涉及的数学问题的高级人才。 信息技术：信息的获取、传输和处理。 信息获取：统计、遥感。 信息传输：通信、Internet 主要的问题：可靠性、有效性与安全性。 数学理论：信息论、编码理论、密码学。 信息处理：计算技术，包括数值计算、符号计算、数据挖掘、计算模拟等技术。 应用广泛，如：银行金融风险的控制、产品设计、天气预报、密码破译。 第二页，共十页，2022年，8月28日 计算理论与技术 本专业的主要目标：掌握计算理论与技术；能够为各种实际问题设计算法，并用计算机求解。 主要工作：（1）建模，（2）算法设计与分析。 课程体系： 1. 数学基础，离散数学，概论与统计，数值计算，运筹与优化，数学建模。 2. 计算理论，数据结构，算法设计与分析。 3. 程序语言。 4. 数学建模，算法设计与编程训练。 第三页，共十页，2022年，8月28日 理论计算机科学 研究计算理论与技术，是关于计算技术的数学理论。 核心理论： （1）形式语言与自动机理论， （2）可计算性理论， （3）计算复杂性理论。 其中，形式语言与自动机理论是基础，是本课程的学习内容，包括如下3部分： （1）