Finite State Automata

(FSA)
Bahrin Dahlan, S.Kom, MT

Finite State Automata

(FSA)
Model matematika yang dapat menerima
input dan mengeluarkan output
Memiliki state yang berhingga banyaknya dan
dapat berpindah dari satu state ke state
lainnya berdasar input dan fungsi transisi
Tidak memiliki tempat penyimpanan/memory,
hanya bisa mengingat state terkini.
Mekanisme kerja dapat diaplikasikan pada :
elevator, text editor, analisa leksikal, pencek
parity.

Contoh pencek parity ganjil

Misalkan :

Misal input : 1101

Genap 1 Ganjil 1 Genap 0 Genap 1 Ganjil
diterima mesin
Misal input : 1100
Genap 1 Ganjil 1 Genap 0 Genap 0 Genap
ditolak mesin
Def 1. Finite State Automata dinyatakan oleh 5 tuple
M=(Q , , , S , F )
Q = himpunan state
= himpunan simbol input

= fungsi transisi : Q
S = state awal / initial state , S Q
F = state akhir, F Q
Contoh diatas,
Q = {Genap, Ganjil}
= {0,1}
S = Genap
F = {Ganjil }

atau
(Genap,0) = Genap
(Genap,1) = Ganjil
(Ganjil,0) = Ganjil
(Ganjil,1) = Genap

Jenis FSA
Deterministic Finite Automata (DFA) :
dari suatu state ada tepat satu
state berikutnya untuk setiap
simbol masukan yang diterima Nondeterministic Finite Automata (NFA) :
dari suatu state ada 0, 1 atau lebih
state berikutnya untuk setiap simbol
masukan yang diterima

Deterministic Finite
Automata
Contoh : pengujian parity ganjil.

Contoh lain : Pengujian untuk

menerima
bit
string
dengan
banyaknya 0 genap, serta banyaknya
1 genap.
0011 : diterima.
10010 : ditolak, karena banyaknya 0
ganjil
Diagram transisi-nya :

Diagram transisi-nya :

DFA nya

Q = {q0 , q1 , q2 , q3 }
= {0,1}
S = q0
F = { q0}

fungsi transisi

Penjelasan Tabel DFA

( q0,011)= ( q2,11) =( q3,1)= q2
Ditolak
( q0,1010)= ( q1,010)
=( q3,10)=( q2,0)= q0 Diterima
Contoh lain DFA : Variabel dalam
bahasa pascal diawali oleh huruf
(besar/kecil), dan diikuti dengan
huruf atau angka.

Contoh DFA

Contoh DFA Lainnya: