◼ 课程信息 ◼ 为什么学习形式语言与自动机 ◼ 形式语言与自动机概述及应用 ◼ 课程内容及要求

一、一个语言的定义可以从两个方面进行: 二、从语言产生的角度;(形式语言) 三、从接收(识别)语言的角度。(自动机)

一、字符串和形式语言 二、形式文法 三、形式文法的分类

已经介绍过从产生语言的角度定义语言的 形式;下面从识别语言的角度来定义语言 有限状态自动机(FSM“ finite state machine”或者FsA“ finite state automaton)是为研究有限内存的计算过 程和某些语言类而抽象出的一种计算模型

本章将对形式语言和有限自动机理 论中所需的数学基础知识作扼要的 介绍。内容包括集合及其运算、关 系、证明的方法、图与树的概念 以及一些常用术语和形式语言与自 动机的发展

Definition Moves of the PDA Languages of the PDA Deterministic PDA’s

Formalism Derivations Backus-Naur Form Left- and Rightmost Derivations

Statement Applications

Turing Machines Recursive and Recursively Enumerable Languages

南京大学：《形式语言与自动机 Formal Languages and Automata》课程教学资源（PPT课件讲稿）Petri Net