Mesin DFA
Konfigurasi DFA disamping secara formal dinyatakan sebagai berikut
Q = {q0 , q1 , q2 , q3 }
Σ = {0,1}
S = q0
F = { q0}
Fungsi transisi, biasanya fungsi-fungsi transisi ini kita sajikan dalam sebuah tabel transisi. Tabel transisi tersebut menunjukkan state state berikutnya untuk kombinasi state state dan input. Tabel transisi dari fungsi transisi adalah