Pertemuan Ke-6
Sri Handayaningsih, S.T., M.T. Email : ning_s12@yahoo.com Teknik Informatika
Formulasi Konversi
Mengubah NFA Mn = (Qn, q0n,Fn) n, n, Diubah menjadi DFA Md = (Qd, q0d,Fd) d, d,
Dengan ketentuan : 1. Qd 2Qn, setiap elemen Qd dapat dituliskan sebagai qi1, qi2, qi3qis dengan s = |Qn| 2. Fd = {qi1, qi2, qi3qis | paling sedikit adalah satu ip sehingga qip Fn} 3. d(qi1, qi2, qi3qis) = rj1, rj2, rj3, rjs dengan rjp = n(qip,a)
TEORI BAHASA OTOMATA 3
Contoh
Diketahui sebuah tabel transisi NFA sbb: A = State awal C = State akhir = {0,1} Q = {A, B, C} n A 0 A 1 B C A
B A,B C C
Penyelesaian
Buat gambar graf transisinya
0 0 A 1 B 0 1 C 0
0 A AB C AB
1 B C A BC
B A,B C C C A
n A B C
0 A AB C
1 B C A
AB AB BC BC ABC CA
State Baru
TEORI BAHASA OTOMATA 7
n A B C AB
0 A AB C
1 B C A
Tidak muncul state baru lagi
AB BC
AC BC
a,b a
qo q1
q2
Pertanyaan : 1. Buat Tabel Transisi NFA 2. Buat Tabel Transisi DFA hasil konversi dari NFA 3. Buat Graf Transisinya
TEORI BAHASA OTOMATA 9
Jawaban
Tabel Transisi NFA
n q0 q1 q2 a b q2 q0, q1 q0
10
11
Dihasilkan DFA dengan : Q = {q0, q1, q2, q0q1, q0q2} = {a, b} n State awal = q0 State akhir = q2 dan q0q2
q2
a, b b a
qo q0q1
a b
q0q2
b
TEORI BAHASA OTOMATA 13
Kesimpulan
Dari hasil graf transisi state q1, q2 dan null tidak bisa dicapai dari status awal, sehingga :
Dihasilkan DFA dengan : Q = {q0, q0q1, q0q2} = {a, b} n State awal = q0 State akhir = q0q2
TEORI BAHASA OTOMATA 14
Hasil Akhir
b a
qo
a b
q0q1
q0q2
15
Contoh 2
Diberikan sebuah tabel transisi NFA sebagai berikut : n a b
{q0, q1}
Jawaban :
a a, b b
q0
q1
17
q1
q0q1 q0q1
TEORI BAHASA OTOMATA
3. Graf Transisi
a b a
q0 q1 null
a, b
a, b a
q0q1
19
Pustaka
1. 2. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik Informatika UAD, 2005 Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2rd, AddisonWesley,2000 Martin C. John, Introduction to Languages and Theory of Computation, McGraw-Hill Internatioanal edition,1991 Linz Peter,Introduction to Formal Languages & Automata, DC Heath and Company, 1990 Dulimarta Hans, Sudiana, Catatan Kuliah Matematika Informatika, Magister Teknik Informatika ITB, 1998 Hinrich Schtze, IMS, Uni Stuttgart, WS 2006/07 slide on RPI CSCI 2400
3. 4. 5. 6.
20