FSA

       FSA didefinisikan sebagai pasangan 5 tupel : (Q, ∑, δ, S, F).
      Q : himpunan hingga state

∑ : himpunan hingga simbol input (alfabet)

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

    Fungsi transisi ini biasanya diberikan dalam bentuk tabel.

S Î Q : state AWAL

F Ì Q : himpunan state AKHIR

Contoh : FSA untuk mengecek parity ganjil

Q ={Gnp, Gjl}

∑= { 0,1}

Diagram Transisi

Tabel Transisi

Referensi:

1. Teori Bahasa dan Otomata, John E. Hopcroft dkk. (terjemahan, Edisi 2, 2007)
2. Teori Bahasa dan Otomata, Firrar Utdirartatmo
3. Introduction to Languages and The Theory of Computation, John C. Martin
4. An Introduction to Formal Language and Automata, Peter Linz