Teori Bahasa Formal dan Automata

dokumen-dokumen yang mirip
Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata

BAB V CONTEXT FREE GRAMMAR DAN PUSH DOWN AUTOMATA

MODUL 11: PUSHDOWN AUTOMATON

Ekspresi Reguler. Pertemuan Ke-8. Sri Handayaningsih, S.T., M.T. Teknik Informatika

Lecture Notes Teori Bahasa dan Automata

Lecture Notes Teori Bahasa dan Automata

Aplikasi Simulator Mesin Turing Pita Tunggal

Tanggal Revisi : Tanggal : SATUAN ACARA PERKULIAHAN

Lecture Notes Teori Bahasa dan Automata

GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP)

BAB I PENDAHULUAN 1-1

2. MesinTuring (Bagian2)

SATUAN ACARA PERKULIAHAN (SAP)

BAHASA BEBAS KONTEKS UNTUK KOMPLEMEN DARI STRING BERULANG CONTEXT FREE LANGUAGE FOR COMPLEMENT OF REPEATED STRING

TEORI BAHASA DAN OTOMATA [TBO]

SATUAN ACARA PERKULIAHAN (SAP) TEORI BAHASA DAN OTOMATA

TEORI BAHASA DAN OTOMATA [TBO]

FTIK / PRODI TEKNIK INFORMATIKA

Pendahuluan. Push Down Atomata. Perbedaan FA dan PDA [7] 4/25/2012 IF-UTAMA 1. Grammar-machine equivalence [3] Latar belakang munculnya konsep PDA

Non-deterministic Finite Automata Dengan -Move

FIRDAUS SOLIHIN FAKULTAS TEKNIK UNIVERSITAS TRUNOJOYO

Operasi FA dan Regular Expression

Mesin Turing. Pertemuan Ke-14. Sri Handayaningsih, S.T., M.T. Teknik Informatika

IF-UTAMA 1. Definisi. Grammar. Definisi

TEORI BAHASA DAN AUTOMATA

Teori Bahasa dan Otomata 1

SILABUS MATAKULIAH. Indikator Pokok Bahasan/Materi Aktifitas Pembelajaran

Teori Bahasa & Otomata

Sumarni Adi TEKNIK INFORMATIKA STMIK AMIKOM YOGYAKARTA 2013

PENDEKATAN TEORI AUTOMATA UNTUK MENYELESAIKAN APLIKASI-APLIKASI DI BIDANG ILMU KECERDASAN BUATAN

Contents.

MODUL 3: Finite Automata

TEORI BAHASA DAN OTOMATA

MODUL 5: Nondeterministic Finite Automata dengan

UNIVERSITAS GADJAH MADA FMIPA/DIKE/ILMU KOMPUTER Gedung SIC Lantai 1, Sekip, Bulaksumur, 55281, Yogyakarta

Penerapan Graf Transisi dalam Mendefinisikan Bahasa Formal

NonDeterministic Finite Automata. B.Very Christioko, S.Kom

BAB I TEORI BAHASA DAN AUTOMATA

LEMBAR PENGESAHAN PROSEDUR PELAKSANAAN KULIAH

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

BAB 1 PENDAHULUAN. sederhana adalah kelas bahasa reguler (regular languages). Bahasa reguler dapat dengan

Turing and State Machines. Mesin Turing. Turing Machine. Turing Machines 4/14/2011 IF_UTAMA 1

TEORI BAHASA DAN AUTOMATA

Reduksi DFA [Deterministic Finite Automata]

FINITE STATE MACHINE / AUTOMATA

Translasi Context-Free Grammar Menjadi Parsing Tree Berbasis Algoritma Cocke-Younger-Kasami

Fr*snd*mffi. Fakultns tlmu Komputer, l;nivrrsitfls. f&,# d *-B. ,, :..:.4 t:,{;. ${r= st :rir"l, r;t. .j"s*l!&,. '":*& \',?Srlrlfu. :1i-,=-+n 3r: lvqd

anggota alfabet dinamakan simbol terminal atau token.

Tata Bahasa Kelas Tata Bahasa. Konsep Bahasa (1)

RENCANA PEMBELAJARAN SEMESTER

PALINDROM CONTEXT FREE GRAMMAR PADA MESIN PUSH DOWN AUTOMATA

RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)

TEORI BAHASA DAN OTOMATA PENGANTAR

Pengenalan Konsep Bahasa dan

PEMODELAN PERANGKAT LUNAK UNTUK PENGERTIAN DETERMINISTIC FINITE AUTOMATA DAN NON-DETERMINISTIC FINITE AUTOMATA

Teori Bahasa & Otomata

TEORI BAHASA DAN AUTOMATA

Teori Matematika Terkait dengan TBO

BAB II SINTAKS 2.1. SINTAKS

2. Review TeoriBahasaFormal danotomata

4. Undecidabality(Bagian3)

Komponen sebuah Kompilator

RENCANA PEMBELAJARAN SEMESTER

PushDown Automata(PDA) Definisi : PDA adalah pasangan 7 tuple M = (Q,, q 0. ), dimana :

SATUAN ACARA PERKULIAHAN MATA KULIAH : TEORI BAHASA DAN AUTOMATA (TBA) KODE / SKS : KK / 3 SKS

SATUAN ACARA PERKULIAHAN STMIK UBUDIYAH INDONESIA SEMESTER GENAP TAHUN AKADEMIK 2013/2014

RENCANA PEMBELAJARAN SEMESTER (RPS)

Overview. Pendahuluan. Pendahuluan. Pendahuluan. Pendahuluan. Pendahuluan

EKSPRESI REGULAR PADA SUATU DETERMINISTIC FINITE STATE AUTOMATA

Pengaruh Paralelisme Terhadap Mesin Turing Sebagai Konsep Komputasi

BAB III CFG DAN PARSING

Teori Bahasa dan Otomata

MODUL 6: TEOREMA KLEENE

SATUAN ACARA PERKULIAHAN (SAP) Semester Penempatan

Pemodelan CNF Parser dengan Memanfaatkan Pohon Biner

Non-Deterministic Finite Automata

MODUL 17. BAHASA-BAHASA REKURSIF DAN RECURSIVELY ENUMERABLE

FINITE STATE AUTOMATA

KONSEP GRAMMAR DAN BAHASA

4. Undecidabality(Bagian2)

Deterministic Finite Automata

Amir Hamzah AKPRIND PRESS 2009

TEORI BAHASA DAN OTOMATA [TBO]

DIKTAT TEORI BAHASA DAN OTOMATA

BAB 3 ANALISIS DAN PERANCANGAN PROGRAM. dirancang dan selanjutnya dapat diketahui gambaran dan kemampuan sistem secara

Seminar Nasional Aplikasi Teknologi Informasi 2004 Yogyakarta, 19 Juni 2004

TEORI BAHASA & OPERASI MATEMATIS (2)

Bahasa adalah kumpulan kalimat. Kalimat adalah rangkaian kata. Kata adalah komponen terkecil kalimat yang tidak bisa dipisahkan lagi.

PERTEMUAN 9 TEORI BAHASA DAN OTOMATA [TBO]

Analisis Sintaksis (syntactic analyzer atau parser)

MODUL 1: PENGANTAR TEORI BAHASA

MODUL 12: BENTUK-BENTUK SEDERHANA DAN BENTUK-BENTUK NORMAL

TEKNIK KOMPILASI. Dosen : Dwi Retno Wahyuningsih, S. Kom. Jurusan : Teknik Informatika Semester Genap 2007/2008

TEKNIK KOMPILASI Bahasa Regular

DFA. Teori Bahasa dan Automata. Viska Mutiawani - Informatika FMIPA Unsyiah

1. Pendahuluan. 2. Tinjauan Pustaka

Transkripsi:

Teori Bahasa Formal dan Automata Pertemuan 11 Semester Genap T.A. 2017/2018 Rahman Indra Kesuma, S.Kom., M.Cs. T. Informatika - ITERA

POKOK BAHASAN Konversi antar 2 Jenis PDA Ekivalensi PDA dan CFG

HUBUNGAN L(M) & N(M) L(M) Bahasa State Final N(M) Bahasa State Kosong Jika L = N(M), untuk beberapa PDA Bahasa Stack Kosong, maka terdapat terdapat PDA Bahasa State Final yang mana L = L(M). Begitu juga sebaliknya. Jika L = L(M), untuk beberapa PDA State Final, maka terdapat PDA Stack Kosong yang mana L = N(M).

KONVERSI L(M) KE N(M) Ide : Jika diberikan M 1 = (Q,, Γ, δ, q 0, Z 0, F), maka akan dibangun M 2 = (Q 2,, Γ 2, δ 2, p 0, X 0, ) Dengan Q 2 = Q U {p 0, r} dan Γ 2 = Γ U {X 0 } Ide Penambahan Transisi: Mulai dari p 0 dengan X 0 di stack Pindah ke q 0 dengan Z 0 X 0 di stack Melakukan proses yang ada di M 1 Dari setiap state final yang ada di M 1, tambahkan transisi ke r yang berfungsi untuk mengosongkan stack.

KONVERSI L(M) KE N(M) X 0 akan mencegah penerimaan tak terduga dari M 2 jika stack M 1 tiba-tiba kosong karena penolakan. Catatan : * pada gambar mengartikan sembarang simbol stack

LATIHAN 1 Diberikan PDA P = ({q 0, q 1, q 2, q 3, f }, {a, b}, {Z 0, A, B}, δ, q 0, Z 0, { f }) δ(q 0, a, Z 0 ) = (q 1, AAZ 0 ) δ(q 0, b, Z 0 ) = (q 2, BZ 0 ) δ(q 0, ε, Z 0 ) = (f, ε) δ(q 1, a, A) = (q 1, AAA) δ(q 1, b, A) = (q 1, ε) δ(q 1, ε, Z 0 ) = (q 0, Z 0 ) δ(q 2, a, B) = (q 3, ε) δ(q 2, b, B) = (q 2, BB) δ(q 2, ε, Z 0 ) = (q 0, Z 0 ) δ(q 3, ε, B) = (q 2, ε) δ(q 3, ε, Z 0 ) = (q 1, AZ 0 ) Bangunlah sebuah PDA Stack Kosong dari PDA State Final di atas!

KONVERSI N(M) KE L(M) Ide : Jika diberikan M 2 = (Q,, Γ, δ, q 0, Z 0, ), maka akan dibangun M 1 = (Q 1,, Γ 1, δ 1, p 0, X 0, F 1 ) Dengan Q 1 = Q U {p 0, f }, Γ 1 = Γ U {X 0 } dan F 1 = { f } Ide Penambahan Transisi: Mulai dari p 0 dengan X 0 di stack Pindah ke q 0 dengan Z 0 X 0 di stack Melakukan proses yang ada di M 2 Ketika M 2 sudah mulai mengosongkan stack, maka X 0 akan terlihat Dari setiap state yang ada di M 2, tambahkan ε-move ke f ketika X 0 sudah berada di puncak stack.

KONVERSI N(M) KE L(M)

LATIHAN 2 Diberikan PDA M = (Q,, Γ, δ, q 0, Z 0, F) dengan Q = {q 0, q 1, q 2 }, = {a, b}, Γ = {Z0, A, B}, F = serta δ sebagai berikut: δ(q 0, a, Z 0 ) = (q 1, BBZ 0 ) δ(q 1, ε, Z 0 ) = (q 0, ε) δ(q 2, ε, Z 0 ) = (q 0, ε) δ(q 0, b, Z 0 ) = (q 2, AAZ 0 ) δ(q 1, b, B) = (q 1, ε) δ(q 2, a, A) = (q 2, ε) δ(q 1, a, Z 0 ) = (q 1, BBZ 0 ) δ(q 2, a, Z 0 ) = (q 1, BBZ 0 ) δ(q 1, b, Z 0 ) = (q 2, AAZ 0 ) δ(q 2, b, Z 0 ) = (q 2, AAZ 0 ) Bangunlah sebuah PDA State Final dari PDA Stack Kosong di atas!

EKIVALENSI : CFL KE PDA Untuk menyimulasikan CFG/CFL di PDA, akan digunakan N(M), bahasa stack kosong, karena proses akan lebih mudah. Teorema : Jika L adalah CFL maka L = N(M) untuk suatu PDA M Ide : PDA M menyimulasikan derivasi leftmost di G untuk input w, sedemikian hingga pada setiap langkah derivasi sentential form direpresentasikan oleh: Barisan simbol yang dikonsumsi dari input w oleh M Diikuti oleh isi dari stack M

EKIVALENSI : CFL KE PDA Diberikan CFG G = (V, T, P, S) maka dapat dibangun PDA M = (Q,, Γ, δ, q 0, Z 0, ) dengan Q = {q}, q 0 = q, = T, Γ = V U T dan Z 0 = S. Transisi δ dapat didefinisikan dalam dua tipe: Jika terminal a di puncak stack, maka diharapkan melihat a di input dan mengonsumsi keduanya. (akibat: tidak ada perubahan di sentential form) Jika variabel A di puncak stack, maka ganti ia dengan RHS dari semua kemungkinan aturan produksi. (akibat: tidak ada perubahan pada string) Maka akan ada 2 macam transisi: a T δ q, a, a = { q, ε } A V δ q, ε, A = { q, α 1,, q, α k } di mana A α 1 α k ada di P

EKIVALENSI : CFL KE PDA Contoh : perhatikan grammar G berikut S AS ε A 0A1 A1 01 PDA M = ({q}, {0, 1}, {0, 1, A, S}, δ, q, S, ) dengan : δ(q, ε, S) = {(q, AS), (q, ε)} δ(q, ε, A) = {(q, 0A1), (q, A1), (q, 01)} δ(q, 0, 0) = {(q, ε)} δ(q, 1, 1) = { (q, ε)} Buktikan apakah w = 011 diterima oleh CFG dan PDA tersebut Catatan : lakukan derivasi leftmost pada CFG

LATIHAN 3 Ubahlah grammar berikut S 0S1 A A 1A0 S ε Menjadi suatu PDA yang dapat menerima bahasa yang sama dengan PDA stack kosong. Buktikan apakah string w = 011001 diterima dengan CFG ataupun PDA yang terbentuk!

EKIVALENSI : PDA KE CFL Teorema : Jika L = N(M) untuk suatu PDA M, maka L adalah CFL. Ide : akan dimati kejadian mendasar dari pemrosesan PDA : Ketika PDA mengkonsumsi suatu simbol input, maka akan ada proses POP ke satu simbol stack Selanjutnya PDA memungkinkan untuk berpindah ke state lain Maka itu akan diusulkan suatu format penulisan variabel dalam CFG yang dapat menggambar proses transisi dari suatu PDA [pxq] mengambarkan proses transisi dengan berpindah dari suatu state p ke state q, dengan melakukan POP simbol X di stack

EKIVALENSI : PDA KE CFL Secara Formal : Jika diberikan PDA M = (Q,, Γ, δ, q 0, Z 0, F), dapat dibangun G = (V, T, P, S), dimana V = { [pxq] : {p, q} Q, X Γ} U {S} P = {S [q 0 Z 0 p] : p Q} U { [qxr k ] a [ry 1 r 1 ] [r k-1 Y k r k ] } Dimana a U {ε}, {r 1,,r k } Q, δ(q, a, X) = (r, Y 1 Y 2 Y k ).

EKIVALENSI : PDA KE CFL Contoh : Jika diberikan PDA berikut dan diminta untuk merubah ke CFG Ingat bahwa kita harus menyusun CFG yang terdiri (V, T, P, S) T = {i, e} V = {[qzq], S] Aturan produksi (P) meliputi: Rumusan formal S [qzq] δ(q, i, Z) = (q, ZZ) [qzq] i [qzq] [qzq] δ(q, e, Z) = (q, ε) [qzq] e

EKIVALENSI : PDA KE CFL LATIHAN BERSAMA : Jika diberikan PDA P = ({p, q}, {0, 1}, {X, Z 0 }, δ, q, Z 0 ) yang mana transisi adalah: 1. δ(q, 1, Z 0 ) = {(q, XZ 0 )} 2. δ(q, 1, X) = {(q, XX)} 3. δ(q, 0, X) = {(p, X)} 4. δ(q, ε, X) = {(q, ε)} 5. δ(p, 1, X) = {(p, ε)} 6. δ(p, 0, Z 0 ) = {(q, Z 0 )} Ubahlah PDA tersebut ke dalam bentuk CFG

EKIVALENSI : PDA KE CFL

PUSTAKA John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction To Automata Theory, Languages, and Computation Dr.-Ing. Reza Pulungan, M.Sc. Bahan Ajar Teori Komputasi. JIKE UGM.

Terima Kasih!