Finite State Automata (FSA)

Apa itu FSA?

Finite State Automata adalah mesin abstrak berupa sistem model
matematika dengan masukan dan keluaran diskrit yang dapat
mengenali bahasa paling sederhana.

Mekanisme kerja FSA dapat diterapkan pada analisis leksikal, text

editor, protocol komunikasi jaringan,
 Finite State Automata (FSA)
Arti bentuk (symbol) pada graph transisi FSA)
Keterangan
• Initial state ditandai dengan busur
tanpa asalah state
• Lingkaran menyatakan state
• Label pada lingkaran adalah nama EVEN 1 ODD
state
• Busur menyatakan transisi/ arah 1
perpindahan state
• Label pada busur adalah symbol Mesin Automata pengecek pariti
input ganjil
Biasa juga disebut graph transisi
• Lingkaran ganda menyatakan final
state
 Finite State Automata (FSA)
Pernyataan FSA Secara Formal
FSA dinyatakan dalam 5 tupel atau M=(Q, Σ, δ, q0, F),
• Q = Himpunan state / kedudukan
dimana:
• Σ = Himpunan symbol input/masukan/abjad
• δ = Fungsi transisi
• q0 = State awal q0, dimana q0 є Q
• F = Himpunan state akhir, F⊆Q

Catatan:
*Jumlah state akhir bisa lebih dari satu
 Finite State Automata (FSA)
Contoh 1
Mesin Automata pengecek pariti
ganjil
Sistem akan menerima jika jumlah bit 1 adalah ganjil

EVEN 1 ODD

1
 Finite State Automata (FSA)
Contoh 1
Maka dapat
dituliskan
• Q = {ODD,
EVEN} EVEN 1 ODD

• Σ = {0,1}
1
• q0 = EVEN
• F = {ODD} • δ
• δ(EVEN,0) = • δ(ODD,0) = ODD
EVEN • δ(ODD,1) =
 Finite State Automata (FSA)
Contoh 1
EVEN 1 ODD

• Ketika mendapat input 1101, maka urutan state yang terjadi

adalah
EVEN 1 ODD 1 EVEN 0 EVEN 1 ODD

• Berakhir dengan state ODD, maka 1101 diterima oleh mesin

 Finite State Automata (FSA)
Contoh 1
EVEN 1 ODD

• Ketika mendapat input 101, maka urutan state yang terjadi

adalah
EVEN 1 ODD 0 ODD 1 EVEN

• Berakhir dengan state EVEN, maka 101 ditolak oleh mesin

 Finite State Automata (FSA)
Berdasarkan pendefenisian kemampuan
merubah statenya, FSA dikelompokkan
kedalam dua jenis
Deterministic Non-
Deterministic
FSA FSA