Matakuliah
Tahun
Versi
: T0162/Teori Bahasa dan Automata
: 2005
: 1/0
Pertemuan 6
KONVERSI NFA MENJADI DFA
Lanjutan..
1
Learning Outcomes
Pada akhir pertemuan ini, diharapkan mahasiswa
akan mampu :
• << TIK-99 >>
• << TIK-99>>
2
Outline Materi
•
•
•
•
•
Materi 1
Materi 2
Materi 3
Materi 4
Materi 5
3
KONVERSI NFA MENJADI DFA
Lanjutan..
Minimisasi Finite Automata :
State p dan q “distinguishable”

bila  (p, x) dalam F, dan

 (q, x) tidak dalam F
4
KONVERSI NFA MENJADI DFA
Lanjutan..
Algoritma :
begin
1. for p in F and q in Q-F do mark (p, q);
2. for setiap pasang (p, q) dalam F  F
atau (Q-F)  (Q-F) do
3. if untuk suatu input a, ((p,a), (q, a))
diberi mark then
begin
4. mark (p, q)
5
KONVERSI NFA MENJADI DFA
Lanjutan..
5. secara rekursif mark semua
pasangan untuk list (p, q)
end
6. for semua simbol input a do
7. tempatkan semua (p, q) pada list
untuk ((p,a), (q, a)) kecuali jika
(p,a) = (q, a)
end
6
KONVERSI NFA MENJADI DFA
Lanjutan..
Contoh :
Minimumkan DFA berikut :
Start
a
b
c
d
e
f
g
h
7
KONVERSI NFA MENJADI DFA
Lanjutan..
Buat tabel berikut :
X : pasangan state tidak equivalen
8
KONVERSI NFA MENJADI DFA
Lanjutan..
Perhatikan pasangan state :
r = (p, a) dan s = (q, a) untuk setiap
simbol a.
Jika r dan s berbeda untuk string x, maka
p dan q berbeda karena string ax.
Jika (r, s) belum mendapat X, maka (p, q)
ditempatkan di list (r, s).
9
KONVERSI NFA MENJADI DFA
Lanjutan..
Minimum DFA adalah
a, e
0
0
1
1
0
b, h
0
1
c
g
1
0
d, f
1
10
<< CLOSING>>
11