绪论

绪论

目录

• 绪论
  • 形式语言
  • 自动机
  • 形式语言和自动机的关系

如何判断形式语言是否符合语法规范：使用自动机

描述语言（形式语言）与识别语言（自动机）是统一的

自动机模型有着广泛的应用领域

形式语言

形式语言：形式化描述的字母表上的字符串集合

字母表：字符的有限集合

字符串：字母表中字符构成的有限序列

自然语言 = 形式 + 语法

应用：编译（让计算机快速地把高级语言翻译成机器语言）

---

自动机

自动机是具有离散输入输出的数学模型

状态：一个标识，能区分自动机在不同时刻的状况

自动机的本质：根据状态、输入和规则决定下一个状态

\(状态+输入(激励)+规则 \rightarrow 状态迁移\)

自动机的分类

• 有限自动机
• 下推自动机
• 图灵机

---

形式语言和自动机的关系

形式语言 —— 字符串

自动机 —— 字符串的识别系统

不同的形式语言可以由对应的自动机识别