计算理论笔记 9月27日

有穷状态自动机(FA—finite automaton)是一个五元组: M=(Q, Σ, δ, q0, F)
      Q——状态的非空有穷集合.∀q∈Q，q称为M的一个状态.
      Σ——输入字母表.
      δ——状态转移函数,有时又叫作状态转换函数或者移动函数,δ:Q×Σ→Q,δ(q,a)=p.
      q0——M的开始状态,也可叫作初始状态或启动状态.q0∈Q.

       F——M的终止状态集合.F被Q包含.任给q∈F,q称为M的终止状态.

其中需要注意的是：

1  Q——状态的非空有穷集合.∀q∈Q，q称为M的一个状态.计算理论（唐常杰版）认为是一个有穷集合，这是一个错误的信息。因为有穷集合包括空集！！

根据q0∈Q，其实本身.可以确定Q应该是非空的。

2 F=Q 这个是可以的，而且明显可以。

3 F是空集这个也是可以的。如果不，我们将无法找到生成语言为空的情况。

4 关于语言只生成一个空串的集合的情况，只有一个初始状态，且这个初始状态是终止状态，此时将生成此语言。

5 δ映射函数每一种状态对全部的字符都能转化