【形式语言与自动机】有限状态机

【形式语言与自动机】有限状态机

一、有限状态机

其需求来自于对语言字符串识别的需要，给定字符串判定它是否属于语法G产生的 L(G), 判断是否属于这个集合。

句子识别

〉 给定一个字符串，判定是否属于给定语法G 的语言L(G)
〉 一般来说，这是个难解的问题，并不是有一个确定的过程，实际上它涉及到上节讲的语法分析有关，给出句子的构造过程，与形式系统中公式的证明类似。对于判定某个句子是否属于某个指定的语言。给出一个构造过程，涉及到识别与判定过程。
〉 但是对于三型文法，即正则语法和正则语言来说，可以通过一个较简单的“识别机器”来判定的，即有限状态机。如下图所示：
   

左边是输入，中间是机器，经过机器处理之后，它会给出一个 Yes 或 No. Yes 代表着句子被接受了，复合语法，No 反之。

 机器 machine ：

实际上除了常见物理意义上的实体机器，之外我们知道有个英文单词叫 mechanism 机制，
〉 所以针对一个系统，接受