Definition
一个确定有限状态自动机（DFA）\(M=(Q,\Sigma,\delta,q_0,F)\)由以下五个部分组成：
\(1.\)状态集合\(Q\)
\(2.\)字符集\(\Sigma\)
\(3.\)转移函数\(\delta:Q\times\Sigma\rightarrow Q\)
\(4.\)起始状态\(q_0\in Q\)
\(5.\)接受状态集合\(F\subseteq Q\)
若\(s=a_1\cdots a_n\)是\(\Sigma\)上的一个字符串，则我们称\(M\)接受该字符串当且仅当存在一组状态序列\(f_0,\cdots,f_n\)满足：
\(1.f_0=q_0\)
\(2.\forall i\in[1,n]f_i=\delta(f_{i-1},a_i)\)
\(3.f_n\in F\)
Trie
Trie是接收且仅接受给定字符串集合中的字符串的DFA。