GBPP TIF202 Soal QUIZ 2 Teori Komputasi 07 12 2016

QUIZ Teori Komputasi – 07/12/2016
1. Tentukan himpunan produksi otomata DFA berikut!

2. Tentukan NFA untuk ekspresi regular r = (1|2)|1(23)*!
3. Berdasarkan himpunan prodksi pada soal No. 1, gunakan metoda brute-force dan
recursive-descent parsing untuk melakukan analisis sintaks terhadap kalimat x = aabbcc.
Manakah dari keduametode tersebut yang dapat menerima kalimat yang diuji? Jika salah
satu atau keduanya tidak berhasil, jelaskan dimanakah letak kesalahannya? Apa
solusinya?
4. Diketahui grammar dengan G = {S → aBc | A, A → a | b | AbC, B → aA | (a | bA, C → c
| c)}. Tentukan handle dan relasi dari semua kalimat yang memungkinkan (minimal 4)
berikut tabel relasi dari produksi di atas!
5. Berdasarkan table relasi pada soal No. 4, lakukanlah parsing grammar preseden
sederhana untuk menguji sentensial a(abbc)c. Apakah dapat dilakukan? Jika tidak, apa
yang menjadi penyebab? Berikan solusinya dan buktikan jika solusi Anda tersebut benar!