Finite State Automatic

   Finite State Automata atau yang dikenal dengan istilah FSA merupakan suatu model mesin otomata dari bahasa reguler. Suatu Finite State Automata dapat memiliki state banyak berhingga yang dapat berpindah-pindah dari suatu state ke state lainnya. Jenis otomata ini tidak memiliki tempat penyimpanan, sehingga kemampuan mengingatnya terbatas. FSA dipakai untuk penganalisa leksikal dan dipakai juga dalam text editor, pemrosesan teks, dan program file-searching.

    Beberapa hal yang harus diketahui berkenaan dengan symbol gambar sebelum memulai materi FSA (Finite State Automata) adalah : 

1. Lingkaran menyatakan state/kedudukan
2. Label pada lingkaran merupakan nama state
3. Busur menyatakan transisi, yaitu perpindahan state/kedudukan
4. Label pada busur merupakan simbol input
5. Lingkaran diawali sebuah busur tanpa label yang artinya state awal
6. Lingkaran ganda menyatakan state akhir/final state

FSA atau AH (Automata Hingga) didefinisikan sebagai pasangan 5 tupel → M = (Q, ∑, δ, S, F). 

Q = himpunan hingga state 

∑ = himpunan hingga simbol input (alfabet) 

δ = fungsi transisi, menggambarkan transisi state FSA akibat pembacaan simbol input.

S = state awal

F = himpunan state akhir

- Mesin ini memiliki 6 state : (q0,q1,q2,q3,q4,q5). 

- State awal q0, 

- Sedangkan q3 dan q4 adalah state akhir, dan 

- Simbol input adalah (a,d,u)

Contoh misalkan pada gambar pengecek pariti ganjil berikut :

Apabila dinyatakan menggunakan symbol, maka : 

• Q = {q0,q1} 

• ∑ = {0,1} 

• δ = fungsi transisi 

δ	0	1
q0	{q0}	{q1}
q1	{q1}	{q0}

• S = q0 

• F = {q1}

FSA dibagi menjadi dua macam, yaitu DFA( Deterministic Finite Automata ) dan NFA ( NonDeterministic Finite Automata ).