TEORI KOMPUTASI

Pertemuan 2
Finite State Automata (FSA)

FSA?
Simbol-simbol Diagram State :
Menyatakan state/kedudukan, memiliki label yang
X merupakan nama dari state tersebut.

Menyatakan transisi ke state lain, memiliki label

y
yang merupakan simbol input.
Menyatakan state awal.
S

Menyatakan state akhir.

F
Finite State Automata (FSA)

NFA? DFA?

Fungsi Transisi NFA: Fungsi Transisi DFA:

0 1 0 1
q1 {q1,q2} Ø q1 q1 q2
q2 {q2} {q1} q2 q2 q1
Reduction
DFA?
Reduction Steps!
1. Hapuskan semua state yang tidak dapat
dicapai dari state awal dengan cara manapun,
2. Cari semua pasangan state (P,Q) yang
distinguishable, dimana PЄF dan Q€F,
3. Jika δ(P,a) = Pa dan δ(Q,a) = Qa, kemudian
(Pa,Qa) adalah pasangan yang telah tercatat
distinguishable dari hasil (2), maka (Pa,Qa)
juga pasangan yang distinguishable,
4. Dari hasil (3) telah didapat pasangan yang
distinguishable, maka pasangan state yang
lainnya dapat ditentukan sebagai pasangan
state yang indistinguishable,
5. Beberapa state yang saling indistinguishable
dapat digabungkan ke dalam satu state,
6. Sesuaikan transisi dari dan ke state-state
gabungan tersebut.
Sample!

0, 1 1
q4 q3 q5 q7

0, 1
0 0 0 0 1

1 0, 1
q1 q2 q6 q8
1

0, 1 0

q9