Question

确定有穷自动机的介绍

Answer 1

确定有穷自动机：（DFA）D是一个五元组：D=（K，Σ，M，S，F）其中K：有穷非空的状态集合；Σ：有穷非空的输入符号字母表；M：转换函数，是在K×Σ→K上的映像，即，如 M(ki,a)=kj,(ki∈K,kj∈K)就意味着，当前状态为ki，输入符为a时，将转换为下一个状态kj，我们把kj称作ki的一个后继状态；S∈K是唯一的一个初态；F K是非空的终态集合。