确定有限自动机DFA 确定有限自动机DA为一个五元组 (Σ,Ss,S,f,TS),其中 ●∑是一个有穷字母表,它的每个元素称为一个 输入字符; SS是一个有穷集,它的每个元素称为一个状态; ●S∈SS是唯一的一个初始状态; f是在Ss×∑>SS上的转换函数 ● TScSS,是一个终止状态集,又称为接受状态 集确定有限自动机DFA ⚫ 确定有限自动机DFA为一个五元组 (,SS,S0,f,TS)，其中： ⚫ 是一个有穷字母表，它的每个元素称为一个 输入字符； ⚫ SS是一个有穷集，它的每个元素称为一个状态； ⚫ S0 SS是唯一的一个初始状态； ⚫ f是在 SS  → SS上的转换函数 ⚫ TSSS，是一个终止状态集，又称为接受状态 集