Teori Komputasi 11/23/2016. Bab 6: Context-Free Grammar & Parsing. Context-Free Grammar. Context-Free Grammar

Transkripsi

1 Teori Komputasi Bab 6: Context-Free Grammar & Parsing Agenda. Context-Free Grammar Fakultas Teknologi dan Desain Program Studi Teknik Informatika Contex-Free Grammar & Parsing 2 Context-Free Grammar Bentuk umum produksi CFG adalah: α β, α V N, β (V N VT ) CFG digunakan untuk melakukan penelusuran sebuah kalimat (sentensial) Penelusuran sentensial dilakukan dengan melakukan analisis sintaks, yaitu melakukan penelusuran sentensial sampai pada simbol awal grammar. Analisis sintaks dapat dilakukan melalui: 1. Derivasi 2. Parsing Contex-Free Grammar & Parsing 3 Context-Free Grammar Contoh kasus: Analisis sintaks. Problem: Lakukanlah analisis sintaks untuk kalimat x23b menggunakan kedua cara penelusuran sentensial derivasi dan parsing jika diketahui G = {I H IH IA, H a b c... z, A } Latihan 1. Problem 1: Menggunakan analisis sintaks derivasi, lakukan penelusuran sentensial untuk kalimat 2 * jika diketahui grammar G 1 = {S SOS A, O * +, A } Contex-Free Grammar & Parsing 4 1

2 Context-Free Grammar Problem 2: Lakukanlah analisis sintaks parsing terhadap hasil analisis sintaks derivasi pada problem 1! Problem 3: Lakukanlah penelusuran sentensial a + b * c / d menggunakan analisis sintaks parsing jika diketahui grammar dan G 2 = {S I IH, H IS ISd, I A B AB, B * + /, A a b c... z} Problem 4: Apakah grammar pada problem 3 merupakan grammar ambigu? Top-down parsing: Jika diberikan kalimat x sebagai input. Parsing dimulai dari simbol awal S sampai kalimat x nyata (atau tidak nyata jika kalimat x memang tidak bisa diturunkan dari S) dari pembacaan semua leaf dari pohon parsing jika dibaca dari kiri ke kanan. Top-down parsing terdiri dari 2 kelas metoda: metoda dengan backup: brute-force parsing metoda tanpa backup: recursive descent parsing Contex-Free Grammar & Parsing 5 Contex-Free Grammar & Parsing 6 Brute-Force Parsing. Merupakan kelas metoda parsing yang menggunakan produksi alternatif, jika ada, ketika hasil penggunaan sebuah produksi tidak sesuai dengan simbol input. Contoh kasus: Brute-force parsing. Problem: Diberikan grammar G = {S aad ab, A b c, B ccd ddc}. Gunakan metoda brute-force untuk melakukan analisis sintaks terhadap kalimat x = accd. Latihan 2. Problem 1: Diberikan grammar G = {S aa, A Ab ε}. Gunakan metoda brute-force untuk melakukan analisis sintaks terhadap kalimat x = ac. Contex-Free Grammar & Parsing 7 Contex-Free Grammar & Parsing 8 2

3 Recursive-Descent Parsing. Merupakan kelas metoda parsing yang tidak menggunakan produksi alternatif ketika hasil akibat penggunaan sebuah produksi tidak sesuai dengan simbol input. Jika produksi A mempunyai dua buah ruas kanan atau lebih maka produksi yang dipilih untuk digunakan adalah produksi dengan simbol pertama ruas kanannya sama dengan input yang sedang dibaca. Jika tidak ada produksi yang demikian maka dikatakan bahwa parsing tidak dapat dilakukan. Contex-Free Grammar & Parsing 9 Ketentuan produksi yang digunakan metoda recursive descent adalah jika terdapat dua atau lebih produksi dengan ruas kiri yang sama maka karakter pertama dari semua ruas kanan produksi tersebut tidak boleh sama. Ketentuan ini tidak melarang adanya produksi yang bersifat rekursi kiri. Contoh kasus: Recursive-descent parsing. Problem: Diketahui grammar G = {S ab A, A a, B b d}. Gunakan metoda recursive-descent untuk melakukan analisis sintaks terhadap kalimat x = ac. Contex-Free Grammar & Parsing 10 Latihan 3. Problem 1: Diberikan grammar G = {S abs bb, S c cs, B a b bs}. Gunakan metoda recursive-descent untuk melakukan analisis sintaks terhadap kalimat x = aabbcc. Problem 2: Tentukan himpunan produksi yang dapat menerima kalimat x = abbbc jika dilakukan metoda recursive-descent untuk melakukan analisis sintaks terhadap kalimat tersebut. Pengertian Dasar Jika α dan x keduanya diturunkan (derivasi) dari simbol awal grammar tertentu, maka α disebut sentensial jika α (V T V N )*, dan x disebut kalimat jika x (V T )*. Misalkan α = Q 1 β Q 2 adalah sentensial dan A V N : β adalah frase dari sentensial α jika: S Q 1 A Q 2 dan A β β adalah simple frase dari sentensial α jika : S Q 1 A Q 2 dan A β Simple frase terkiri dinamakan handle. Contex-Free Grammar & Parsing 11 Contex-Free Grammar & Parsing 12 3

4 frase, simple frase, dan handle adalah string dengan panjang 0 atau lebih. Contoh kasus: Problem 1: Diketahui G = {I H IH IA, H a b c... z, A } I IH Hb adalah sentensial dan b adalah simple frase I HH (dibandingkan dengan Q 1 Q 2 maka Q 1 = H, = b, dan Q 2 =. Perhatikan: simple frase (b) adalah I Hb yang terakhir diturunkan. Problem 2: Diketahui G = {I H IH IA, H a b c... z, A } I IH Hb adalah sentensial dan H adalah simple frase I Ib (dibandingkan dengan Q 1 Q 2 maka Q 1 =, = H, dan Q 2 = b. Perhatikan: simple frase (H) adalah I Hb yang terakhir diturunkan. Kesimpulan: Sentensial Hb mempunyai dua simple frase (b dan H), sedangkan handlenya adalah H. Contex-Free Grammar & Parsing 13 Contex-Free Grammar & Parsing 14 Relasi Preseden Relasi preseden adalah relasi antara 2 simbol grammar (baik V T maupun V N ) dimana paling tidak salah satu simbol tersebut adalah komponen handel. Misalkan: R dan S adalah 2 simbol. Ada 3 relasi preseden yang :,, dan. Contex-Free Grammar & Parsing 15 Contoh kasus: Relasi Sederhana Problem 1: Diketahui grammar dengan G = {Z bmb, M (L a, L Ma)}. Dari 3 sentensial: bab, b(lb, b(ma)b, maka tentukan handle dan relasi yang ada. Latihan 4. Problem 1: Diketahui grammar dengan G = {S abs bs, S c cs, B a ab}. Tentukan handle dan relasi dari sentensial aabcc. Problem 2: Diketahui grammar dengan G = {S abc A, A b AbC, B aa d}. Tentukan handle, relasi, dan tabel relasi dari sentensial aabbcc. Contex-Free Grammar & Parsing 16 4

5 Teori Komputasi Grammar Preseden Sederhana Sebuah grammar disebut sebagai grammar preseden sederhana jika: 1. paling banyak terdapat satu relasi antara setiap dua simbolnya, dan 2. tidak terdapat dua produksi dengan ruas kanan yang sama. Fakultas Teknologi dan Desain Program Studi Teknik Informatika Contex-Free Grammar & Parsing 18 Prosedur Parsing. 1. Buat tabel 3 kolom dengan label: sentensial dan relasi, handle, dan ruas kiri produksi, 2. Tuliskan kalimat (atau sentensial) yang diselidiki pada baris pertama kolom pertama, 3. Dengan menggunakan tabel relasi preseden cantumkan relasi preseden antara setiap dua simbol yang bertetangga, Contex-Free Grammar & Parsing Tentukan handel dari sentensial tersebut. Handle adalah string yang dibatasi terakhir dan pertama jika dilakukan penelusuran dari kiri atau yang saling mempunyai relasi. Handle tersebut pastilah merupakan ruas kanan produksi, karena itu tentukan ruas kiri dari handel tersebut, 5. Ganti handle dengan ruas kiri produksinya, kemudian kembali ke langkah 3, 6. Kalimat yang diselidiki adalah benar dapat diderivasi dari simbol awal jika kolom ruas kiri produksi menghasilkan simbol awal. Contex-Free Grammar & Parsing 20 5

6 Contoh kasus: Grammar Preseden Sederhana Problem 1: Diketahui grammar dengan G = {Z bmb, M (L a, L Ma)}. Lakukan parsing grammar preseden sederhana atas kalimat x = b(aa)b. sentensial dan relasi handle ruas kiri produksi b ( a a ) b b ( M a ) b b ( L b b M b a Ma) (L bmb M L M Z Latihan 5. Problem 1: Diketahui grammar dengan G = {Z ama, M (L b bl, L a) M)}. Tentukan handle, relasi, tabel preseden dari ketiga sentensial berikut: a(a)a, a(b)a, a((a))a. Problem 2: Berdasarkan grammar pada problem 1 di atas, lakukan parsing grammar preseden sederhana untuk kalimat a(b(l)a. Contex-Free Grammar & Parsing 21 Contex-Free Grammar & Parsing 22 Teori Komputasi 6