绪论
绪论
如何判断形式语言是否符合语法规范:使用自动机
描述语言(形式语言)与识别语言(自动机)是统一的
自动机模型有着广泛的应用领域
形式语言
形式语言:形式化描述的字母表上的字符串集合
字母表:字符的有限集合
字符串:字母表中字符构成的有限序列
自然语言 = 形式 + 语法
应用:编译(让计算机快速地把高级语言翻译成机器语言)
自动机
自动机是具有离散输入输出的数学模型
状态:一个标识,能区分自动机在不同时刻的状况
自动机的本质:根据状态、输入和规则决定下一个状态
\(状态+输入(激励)+规则 \rightarrow 状态迁移\)
自动机的分类
- 有限自动机
- 下推自动机
- 图灵机
形式语言和自动机的关系
形式语言 —— 字符串
自动机 —— 字符串的识别系统
不同的形式语言可以由对应的自动机识别
