大家好,小钱来为大家讲解以上的问题。确定有穷自动机，关于确定有穷自动机介绍这个很多人还不知道,我们一起来看看！
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是非空的终态集合。
关于确定有穷自动机到此分享完毕，希望能帮助到您。
