绪论

绪论

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

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

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

形式语言

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

字母表:字符的有限集合

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

自然语言 = 形式 + 语法

应用:编译(让计算机快速地把高级语言翻译成机器语言)


自动机

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

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

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

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

自动机的分类

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

形式语言和自动机的关系

形式语言 —— 字符串

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

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

posted @ 2024-02-25 20:31  DrinkLessMilkTea  阅读(19)  评论(0)    收藏  举报