Finite State Automata (FSA) adalah model matematika yang dapat menerima
input dan mengeluarkan output yang memiliki state yang berhingga banyaknya dan
dapat berpindah dari satu state ke state lainnya berdasarkan input dan fungsi
transisi. Finite state automata tidak memiliki tempat penyimpanan/memory, hanya
bisa mengingat state terkini.
DFA nya:
Q = {q0 , q1 , q2 , q3 }
Σ = {0,1}
S = q0
F = { q0}
fungsi transisi adalah:
String diterima NFA bila terdapat suatu urutan transisi berdasarkan input, dari
state awal ke state akhir.
Contoh 2: