标签：

编译原理学习笔记----

不确定有穷自动机（NFA）

确定有穷自动机（DFA）

一个确定的有穷自动机M是一个五元组：M=（K， ∑，f，S，Z）其中，

1)K是一个有穷集，他的每个元素称为一种状态。

2） ∑是一个有穷字母表，他的每个元素称为一个输入符号，所以∑称为输入符号表。

3）f是转换函数，是KX∑-->K 上的映像，例如f（ki，a）=kj这就意味着，当前状态为k，输入字符a后，将转换到下一状态kj，我们把kj称为ki的一个后继状态；

4）S属于K，是唯一的一个出态。

5）Z属于K，是一个终态，终态也称为可接受状态或结束状态。

例如：

这个DFA可以表示一个状态图：

也可以用状态矩阵显示，行表示状态，列表示输入符号，终态在表的右端标1，非终态在表的右边标0。

编译原理学习

标签：

原文地址：http://www.cnblogs.com/sunniest/p/4194121.html