天天滚动:确定有穷自动机

(资料图)

1、 确定有穷自动机：（DFA）D是一个五元组：D=（K，Σ，M，S，F）其中

2、 K：有穷非空的状态集合；

3、 Σ：有穷非空的输入符号字母表；

4、 M：转换函数，是在K×Σ→K上的映像，即，如 M(ki,a)=kj,(ki∈K,kj∈K)就意味着，当前状态为ki，输入符为a时，将转换为下一个状态kj，我们把kj称作ki的一个后继状态；

5、 S∈K是唯一的一个初态；

6、 F K是非空的终态集合。

关键词：