Teori Bahasa Formal dan Automata

Ukuran: px
Mulai penontonan dengan halaman:

Download "Teori Bahasa Formal dan Automata"

Transkripsi

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

2 POKOK BAHASAN Konversi antar 2 Jenis PDA Ekivalensi PDA dan CFG

3 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).

4 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.

5 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

6 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!

7 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.

8 KONVERSI N(M) KE L(M)

9 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!

10 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

11 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

12 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

13 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 = diterima dengan CFG ataupun PDA yang terbentuk!

14 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

15 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 ).

16 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

17 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

18 EKIVALENSI : PDA KE CFL

19 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.

20 Terima Kasih!

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata Teori Bahasa Formal dan Automata Pertemuan 9 Semester Genap T.A. 2017/2018 Rahman Indra Kesuma, S.Kom., M.Cs. T. Informatika - ITERA POKOK BAHASAN Grammar Grammar secara Formal Context Free Grammar Terminologi

Lebih terperinci

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata Teori Bahasa Formal dan Automata Pertemuan 3 Semester Genap T.A. 2017/2018 Rahman Indra Kesuma, S.Kom., M.Cs. T. Informatika - ITERA MENDESAIN DFA Jika di definisikan = {0, 1}, bangunlah sebuah DFA yang

Lebih terperinci

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata Teori Bahasa Formal dan Automata Pertemuan 2 Semester Genap T.A. 2017/2018 Rahman Indra Kesuma, S.Kom., M.Cs. T. Informatika - ITERA POKOK BAHASAN Finite Automata Notasi Finite Automata Deterministic Finite

Lebih terperinci

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata Teori Bahasa Formal dan Automata Pertemuan 12 Semester Genap T.A. 2017/2018 Rahman Indra Kesuma, S.Kom., M.Cs. T. Informatika - ITERA POKOK BAHASAN Penghilangan ε-production Penghilangan Unit Production

Lebih terperinci

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata Teori Bahasa Formal dan Automata Pertemuan 5 Semester Genap T.A. 2017/2018 Rahman Indra Kesuma, S.Kom., M.Cs. T. Informatika - ITERA REVIEW Apa perbedaan antara NFA dan ϵ-nfa? Apa yang dimaksud dengan

Lebih terperinci

BAB V CONTEXT FREE GRAMMAR DAN PUSH DOWN AUTOMATA

BAB V CONTEXT FREE GRAMMAR DAN PUSH DOWN AUTOMATA Bab V Context Free Grammar dan Push Down Automata 26 BAB V CONTEXT FREE GRAMMAR DAN PUSH DOWN AUTOMATA TUJUAN PRAKTIKUM 1. Memahami CFG dan PDA 2. Memahami Context Free Grammar 3. Memahami Push Down Automata

Lebih terperinci

MODUL 11: PUSHDOWN AUTOMATON

MODUL 11: PUSHDOWN AUTOMATON MODUL 11: PUSHDOWN AUTOMATON Pengantar Pushdown Automaton Dalam pembahasan bahasa regular telah diperkenalkan pula suatu mesin dengan jumlah status yang terbatas atau dikenal dengan nama mesin FA. Karena

Lebih terperinci

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

Ekspresi Reguler. Pertemuan Ke-8. Sri Handayaningsih, S.T., M.T.   Teknik Informatika Ekspresi Reguler Pertemuan Ke-8 Sri Handayaningsih, S.T., M.T. Email : ning_s12@yahoo.com Teknik Informatika TIU dan TIK 1. memahami konsep ekspresi reguler dan ekivalensinya dengan bahasa reguler. 2.

Lebih terperinci

Lecture Notes Teori Bahasa dan Automata

Lecture Notes Teori Bahasa dan Automata Ekuivalensi State (Ed. 1) 1/5 Lecture Notes Teori Bahasa dan Automata Uji Ekuivalensi State Deterministic Finite Automata Thompson Susabda Ngoen Beberapa deterministic finite automaton (DFA) yang berbeda

Lebih terperinci

Lecture Notes Teori Bahasa dan Automata

Lecture Notes Teori Bahasa dan Automata Penyederhanaan CFG (edisi 1) 1/8 Lecture Notes Teori Bahasa dan Automata Penyederhanaan Context Free Grammar Thompson Susabda Ngoen Pendahuluan Context Free Grammar (CFG) terdiri atas sejumlah production

Lebih terperinci

Aplikasi Simulator Mesin Turing Pita Tunggal

Aplikasi Simulator Mesin Turing Pita Tunggal Aplikasi Simulator Mesin Turing Pita Tunggal Nuludin Saepudin / NIM 23515063 Program Magister Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132,

Lebih terperinci

Tanggal Revisi : Tanggal : SATUAN ACARA PERKULIAHAN

Tanggal Revisi : Tanggal : SATUAN ACARA PERKULIAHAN Versi : Revisi : Tanggal Revisi : Tanggal : SATUAN ACARA PERKULIAHAN Fakultas/ Jurusan/ Program Studi : Teknologi Industri/ Teknik Informatika/ Teknik Informatika Kode Matakuliah : 52302031 Nama Matakuliah

Lebih terperinci

Lecture Notes Teori Bahasa dan Automata

Lecture Notes Teori Bahasa dan Automata Pumping Lemma RL (edisi 2) 1/5 Lecture Notes Teori Bahasa dan Automata Pumping Lemma Untuk Regular Language Thompson Susabda Ngoen Revisi 1 Hopcroft mengatakan regular language dapat dideskripsikan dengan

Lebih terperinci

GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP)

GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP) Mata Kuliah : Teori Bahasa dan Automa Bobot Mata Kuliah : 3 Sks GARIS-GARIS BESAR PROGRAM PENGAJARAN (GBPP) Deskripsi Mata Kuliah : Micro processing dan Memory, Memory Addressing; Register, Struktur Program,

Lebih terperinci

BAB I PENDAHULUAN 1-1

BAB I PENDAHULUAN 1-1 BAB I PENDAHULUAN 1.1 Pendahuluan Ilmu komputer memiliki dua komponen utama: pertama, model dan gagasan mendasar mengenai komputasi, kedua, teknik rekayasa untuk perancangan sistem komputasi, meliputi

Lebih terperinci

2. MesinTuring (Bagian2)

2. MesinTuring (Bagian2) IF5110 Teori Komputasi 2. MesinTuring (Bagian2) Oleh: Rinaldi Munir Program Studi Magister Informatika STEI-ITB 1 PerananMesinTuring Bahasa yang diterima oleh mesin Turing dinamakan recursively enumerable

Lebih terperinci

SATUAN ACARA PERKULIAHAN (SAP)

SATUAN ACARA PERKULIAHAN (SAP) SATUAN ACARA PERKULIAHAN (SAP) Pertemuan / Minggu Nama Mata Kuliah : Teori Bahasa dan Automata Kode Mata Kuliah : TI 04 Bobot Kredit : 3 SKS Semester Penempatan : III Kedudukan Mata Kuliah : Mata Kuliah

Lebih terperinci

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

BAHASA BEBAS KONTEKS UNTUK KOMPLEMEN DARI STRING BERULANG CONTEXT FREE LANGUAGE FOR COMPLEMENT OF REPEATED STRING BAHASA BEBAS KONTEKS UNTUK KOMPLEMEN DARI STRING BERULANG Suharni S., Armin Lawi dan Loeky Haryanto Jurusan Matematika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Hasanuddin (UNHAS) Jl. Perintis

Lebih terperinci

TEORI BAHASA DAN OTOMATA [TBO]

TEORI BAHASA DAN OTOMATA [TBO] TEORI BAHASA DAN OTOMATA [TBO] PENGGABUNGAN 2 FSA Pada 2 mesin FSA dapat dilakukan penggabungan, disebut union serta konkatenasi. Misalkan terdapat dua mesin NFA, M1 dan M2 Gambar 5: M1 Gambar 6: M2 OPERASI

Lebih terperinci

SATUAN ACARA PERKULIAHAN (SAP) TEORI BAHASA DAN OTOMATA

SATUAN ACARA PERKULIAHAN (SAP) TEORI BAHASA DAN OTOMATA 1 SATUAN ACARA PERKULIAHAN (SAP) TEORI BAHASA DAN OTOMATA (IK ) Oleh: Heri Sutarno JURUSAN PENDIDIKAN ILMU KOMPUTER FAKULTAS PENDIDIKAN MATEMATIKA DAN ILMU PENGETAHUAN ALAM UNIVERSITAS PENDIDIKAN INDONESIA

Lebih terperinci

TEORI BAHASA DAN OTOMATA [TBO]

TEORI BAHASA DAN OTOMATA [TBO] TEORI BAHASA DAN OTOMATA [TBO] NFA DENGAN -MOVE Terdapat jenis otomata baru yang disebut NFA dengan -move ( disini bisa dianggap sebagai empty). Pada NFA dengan -move (transisi ), diperbolehkan merubah

Lebih terperinci

FTIK / PRODI TEKNIK INFORMATIKA

FTIK / PRODI TEKNIK INFORMATIKA Halaman : 1dari 12 LEMBAR PENGESAHAN DIBUAT OLEH MENYETUJUI Tim SOP dan JUKNIS Prodi IF Mira Kania Sabariah, S.T., M.T Ka Prodi TeknikInformatika Halaman : 2dari 12 DAFTAR ISI Lembar Pengesahan... 1 Daftar

Lebih terperinci

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

Pendahuluan. Push Down Atomata. Perbedaan FA dan PDA [7] 4/25/2012 IF-UTAMA 1. Grammar-machine equivalence [3] Latar belakang munculnya konsep PDA Push Down Automata Pendahuluan Latar belakang munculnya konsep PDA [1 & 3] Terdapat context-free languages yang tidak regular, contoh {0 n 1 n 0=

Lebih terperinci

Non-deterministic Finite Automata Dengan -Move

Non-deterministic Finite Automata Dengan -Move Non-deterministic Finite Automata Dengan -Move Terdapat jenis otomata baru yang disebut NFA dengan -move ( disini bisa dianggap sebagai empty). Pada NFA dengan -move (transisi ), diperbolehkan merubah

Lebih terperinci

FIRDAUS SOLIHIN FAKULTAS TEKNIK UNIVERSITAS TRUNOJOYO

FIRDAUS SOLIHIN FAKULTAS TEKNIK UNIVERSITAS TRUNOJOYO BAHASA FORMAL AUTOMATA FIRDAUS SOLIHIN FAKULTAS TEKNIK UNIVERSITAS TRUNOJOYO MATERI PENGANTAR AUTOMATA REGULAR EXSPRESSION (RE) FINITE AUTOMATA (FA) TRANSITION GRAPH (TG) THEOREMA KLEENE CONTEXT FREE GRAMMAR

Lebih terperinci

Operasi FA dan Regular Expression

Operasi FA dan Regular Expression CSG3D3 Teori Komputasi Operasi FA dan Regular Expression Agung Toto Wibowo Ahmad Suryan Yanti Rusmawati Mahmud Dwi Sulistiyo Kurniawan Nur Ramadhani Said Al Faraby Dede Rohidin KK Intelligence, Computing,

Lebih terperinci

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

Mesin Turing. Pertemuan Ke-14. Sri Handayaningsih, S.T., M.T.   Teknik Informatika Mesin Turing Pertemuan Ke-14 Sri Handayaningsih, S.T., M.T. Email : ning_s12@yahoo.com Teknik Informatika 1 TIU & TIK Memahami konsep : 1. Definisi Mesin Turing 2. Contoh aplikasi Mesin Turing 3. Mesin

Lebih terperinci

IF-UTAMA 1. Definisi. Grammar. Definisi

IF-UTAMA 1. Definisi. Grammar. Definisi Definisi Grammar Bahasa adalah himpunan kata-kata atau kalimat yang telah disepakati, contoh : {makan, tidur, bermain, belajar} Bahasa Indonesia {shit, sheet, damn, kiss, smell} Bahasa Inggris {konichiwa,

Lebih terperinci

TEORI BAHASA DAN AUTOMATA

TEORI BAHASA DAN AUTOMATA MODUL VI TEORI BAHASA DAN AUTOMATA Tujuan : Mahasiswa dapat malakukan operasi gabungan/konkatenasi, dan membangun FSA optimal Materi : Operasi Gabungan Operasi Konkatenasi Alur Pengembangan FSA Contoh-contoh

Lebih terperinci

Teori Bahasa dan Otomata 1

Teori Bahasa dan Otomata 1 Teori Bahasa dan Otomata 1 KATA PENGANTAR Teori Bahasa dam Otomata merupakan matakuliah wajib yang harus diambil oleh seluruh mahasiswa jurusan Teknik Indonesia di lingkungan Sekolah Tinggi Teknologi Indonesia.

Lebih terperinci

SILABUS MATAKULIAH. Indikator Pokok Bahasan/Materi Aktifitas Pembelajaran

SILABUS MATAKULIAH. Indikator Pokok Bahasan/Materi Aktifitas Pembelajaran SILABUS MATAKULIAH Revisi : 2 Tanggal Berlaku : Maret 2014 A. Identitas 1. Nama Matakuliah : A11. 54401/ Teori dan Bahasa Otomata 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4.

Lebih terperinci

Teori Bahasa & Otomata

Teori Bahasa & Otomata Teori Bahasa & Otomata Heri Sutarno - 131410892 Pendilkom/Ilkom Universitas Pendidikan Indonesia Bandung, 2008 08/06/2010 TBO/heri/ilkom 1 Buku Bacaan - Aho, Alfred V., Ravi Sethi and Jeffrey D Ulman,

Lebih terperinci

Sumarni Adi TEKNIK INFORMATIKA STMIK AMIKOM YOGYAKARTA 2013

Sumarni Adi TEKNIK INFORMATIKA STMIK AMIKOM YOGYAKARTA 2013 Sumarni Adi TEKNIK INFORMATIKA STMIK AMIKOM YOGYAKARTA 2013 KONTRAK KULIAH 1. Presensi 15 menit diawal perkuliahan dan dilakukan sendiri (tidak Boleh Titip Presensi), setelahnya sistem akan ditutup 2.

Lebih terperinci

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

PENDEKATAN TEORI AUTOMATA UNTUK MENYELESAIKAN APLIKASI-APLIKASI DI BIDANG ILMU KECERDASAN BUATAN PENDEKATAN TEORI AUTOMATA UNTUK MENYELESAIKAN APLIKASI-APLIKASI DI BIDANG ILMU KECERDASAN BUATAN Febri Nova Lenti STMIK AKAKOM Yogyakarta Jl. Raya Janti 143 Yogyakarta 55198 febri@akakom.ac.id ABSTRAK

Lebih terperinci

Contents.

Contents. Contents FINITE TATE AUTOMATA (Otomata Hingga)... 2 Deterministic/Non Deterministic Finite Automate... 2 Ekwivalensi DFA dan NFA... 4 Contex Free Grammer(CFG)... 8 Penyederhanaan CFG... 9 Bentuk Normal

Lebih terperinci

MODUL 3: Finite Automata

MODUL 3: Finite Automata MODUL 3: Finite Automata Slide dari 38 DEFINISI FA mesin yang dapat mengenai bahasa regular tanpa menggunakan storage/memory. Sejumlah status dapat didefinisikan pada mesin untuk mengingat beberapa hal

Lebih terperinci

TEORI BAHASA DAN OTOMATA

TEORI BAHASA DAN OTOMATA TEORI BAHASA DAN OTOMATA MATERI KULIAH : Topik Substansi 1 Kontrakpembelajaran, Pendahuluan a. Ketentuan dalam Kuliah b. Pengertian Bahasa c. Pengertian Otomata 2 Pengertian Dasar dan Operasi pada string

Lebih terperinci

MODUL 5: Nondeterministic Finite Automata dengan

MODUL 5: Nondeterministic Finite Automata dengan MODUL 5: Nondeterministic Finite Automata dengan Transisi-L (NFA-L) Slide dari 4 Dengan konsep nondeterministisme dari suatu ekspresi regular suatu NFA yang dapat menerima bahasa ybs dapat langsung dilakukan.

Lebih terperinci

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

UNIVERSITAS GADJAH MADA FMIPA/DIKE/ILMU KOMPUTER Gedung SIC Lantai 1, Sekip, Bulaksumur, 55281, Yogyakarta UNIVERSITAS GADJAH MADA FMIPA/DIKE/ILMU KOMPUTER Gedung SIC Lantai 1, Sekip, Bulaksumur, 55281, Yogyakarta Rencana Program Kegiatan Pembelajaran Semester (RPKPS) Bahasa Otomata ( KLAS B ) Ganjil /3 sks/mii-2205

Lebih terperinci

Penerapan Graf Transisi dalam Mendefinisikan Bahasa Formal

Penerapan Graf Transisi dalam Mendefinisikan Bahasa Formal Penerapan Graf Transisi dalam Mendefinisikan Bahasa Formal Abdurrahman Dihya R./13509060 Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha

Lebih terperinci

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

NonDeterministic Finite Automata. B.Very Christioko, S.Kom NonDeterministic Finite Automata Perbedaan DFA dan NFA DFA (Deterministic Finite Automata) FA di dalam menerima input mempunyai tepat satu busur keluar. NFA (Non Deterministic Finite Automata) FA di dalam

Lebih terperinci

BAB I TEORI BAHASA DAN AUTOMATA

BAB I TEORI BAHASA DAN AUTOMATA Bab 1 Teori Bahasa dan Automata 1 BAB I TEORI BAHASA DAN AUTOMATA TUJUAN PRAKTIKUM 1. Memahami Tentang Teori Bahasa 2. Memahami Automata dan Istilah Istilah yang terdapat dalam Automata 3. Mengerti Tentang

Lebih terperinci

LEMBAR PENGESAHAN PROSEDUR PELAKSANAAN KULIAH

LEMBAR PENGESAHAN PROSEDUR PELAKSANAAN KULIAH Halaman : 1 dari 18 LEMBAR PENGESAHAN DIBUAT OLEH MENYETUJUI Tim SOP Prodi IF Mira Kania Sabariah, S.T., M.T Ka Prodi Teknik Informatika 1 Halaman : 2 dari 18 DAFTAR ISI Lembar Pengesahan... 1 Daftar Isi...

Lebih terperinci

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

Teori Komputasi 11/23/2016. Bab 6: Context-Free Grammar & Parsing. Context-Free Grammar. Context-Free Grammar 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

Lebih terperinci

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

BAB 1 PENDAHULUAN. sederhana adalah kelas bahasa reguler (regular languages). Bahasa reguler dapat dengan BAB 1 PENDAHULUAN 1.1 Latar Belakang Dalam hierarki kelas-kelas bahasa menurut Chomsky, kelas bahasa yang paling sederhana adalah kelas bahasa reguler (regular languages). Bahasa reguler dapat dengan tepat

Lebih terperinci

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

Turing and State Machines. Mesin Turing. Turing Machine. Turing Machines 4/14/2011 IF_UTAMA 1 4/4/2 Turing and State Machines Mesin Turing Dosen Pembina : Danang Junaedi State Machines Called non-writing machines Have no control on their external input Cannot write or change their inputs Turing

Lebih terperinci

TEORI BAHASA DAN AUTOMATA

TEORI BAHASA DAN AUTOMATA MODUL I TEORI BAHASA DAN AUTOMATA Tujuan : Mahasiswa memahami pengertian dan kedudukan Teori Bahasa dan Otomata (TBO) pada ilmu komputer Definisi dan Pengertian Teori Bahasa dan Otomata Teori bahasa dan

Lebih terperinci

Reduksi DFA [Deterministic Finite Automata]

Reduksi DFA [Deterministic Finite Automata] Reduksi DFA [Deterministic Finite Automata] Untuk suatu bahasa regular kemungkinan ada sejumlah DFA yang dapat menerimanya Perbedaannya umumnya adalah pada jumlah state yang dimiliki oleh otomata-otomata

Lebih terperinci

FINITE STATE MACHINE / AUTOMATA

FINITE STATE MACHINE / AUTOMATA FINITE STATE MACHINE / AUTOMATA BAHASA FORMAL Dapat dipandang sebagai entitas abstrak, yaitu sekumpulan string yang berisi simbol-simbol alphabet Dapat juga dipandang sebagai entitasentitas abstrak yang

Lebih terperinci

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

Translasi Context-Free Grammar Menjadi Parsing Tree Berbasis Algoritma Cocke-Younger-Kasami Translasi Context-Free Grammar Menjadi Parsing Tree Berbasis Algoritma Cocke-Younger-Kasami PUTRA ADHI ANGGARA Program Studi Teknik Informatika S1, Fakultas Ilmu Komputer, Universitas Dian Nuswantoro Jl.

Lebih terperinci

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

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

Lebih terperinci

anggota alfabet dinamakan simbol terminal atau token.

anggota alfabet dinamakan simbol terminal atau token. GRAMMAR DAN BAHASA MATERI MINGGU KE-2 TATA BAHASA Dalam pembicaraan tata bahasa, anggota alfabet dinamakan simbol terminal atau token. Kalimat adalah deretan hingga simbo-lsimbol terminal. Bahasa adalah

Lebih terperinci

Tata Bahasa Kelas Tata Bahasa. Konsep Bahasa (1)

Tata Bahasa Kelas Tata Bahasa. Konsep Bahasa (1) Tata Bahasa Kelas Tata Bahasa Risnawaty 2350376 Jurusan Teknik Informatika Institut Teknologi Bandung Page 1 Konsep Bahasa (1) String(kata) adalah suatu deretan berhingga dari simbol-simbol. Panjang string

Lebih terperinci

RENCANA PEMBELAJARAN SEMESTER

RENCANA PEMBELAJARAN SEMESTER RENCANA PEMBELAJARAN SEMESTER (RPS) KBKF43102 TEORI BAHASA DAN AUTOMATA S1 TEKNIK INFORMATIKA FAKULTAS ILMU KOMPUTER UPI YPTK PADANG LEMBAR PENGESAHAN Rencana Pembelajaran Semester (RPS) ini telah disahkan

Lebih terperinci

PALINDROM CONTEXT FREE GRAMMAR PADA MESIN PUSH DOWN AUTOMATA

PALINDROM CONTEXT FREE GRAMMAR PADA MESIN PUSH DOWN AUTOMATA A-61 PALINDROM CONTEXT FREE GRAMMAR PADA MESIN PUSH DOWN AUTOMATA M. Haviz Irfani STMIK GI MDP Jl. Rajawali No. 14 Palembang, tlp.0711-376400 e-mail: haviz.irfani@mdp.ac.id Abstrak Palindrom merupakan

Lebih terperinci

RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)

RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A11. 54401/ Teori dan Bahasa Otomata Revisi 2 Satuan Kredit Semester : 3 SKS Tgl revisi : Februari 2014 Jml Jam kuliah dalam

Lebih terperinci

TEORI BAHASA DAN OTOMATA PENGANTAR

TEORI BAHASA DAN OTOMATA PENGANTAR TEORI BAHASA DAN OTOMATA PENGANTAR PERKULIAHAN Jumlah pertemuan minimal 13 kali dan maksimal 15 kali sudah termasuk dengan ujian tengah semester (UTS) PENILAIAN ABSEN 10% (Minimal kehadiran 80% dari jumlah

Lebih terperinci

Pengenalan Konsep Bahasa dan

Pengenalan Konsep Bahasa dan Pengenalan Konsep Bahasa dan Automata Teori Bahasa dan Automata Viska Mutiawani - Informatika FMIPA Unsyiah 1 Bentuk komputasi yang dikenal saat ini CPU memory 2 Detil bentuk komputasi berdasarkan memory

Lebih terperinci

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

PEMODELAN PERANGKAT LUNAK UNTUK PENGERTIAN DETERMINISTIC FINITE AUTOMATA DAN NON-DETERMINISTIC FINITE AUTOMATA PEMODELAN PERANGKAT LUNAK UNTUK PENGERTIAN DETERMINISTIC FINITE AUTOMATA DAN NON-DETERMINISTIC FINITE AUTOMATA Santa Meilisa; Ngarap Im Manik; Djunaidy Santoso Universitas Bina Nusantara, Jl. Mawar Bukit

Lebih terperinci

Teori Bahasa & Otomata

Teori Bahasa & Otomata Teori Bahasa & Otomata Pendilkom/Ilkom Universitas Pendidikan Indonesia 1 Daftar Isi Bab 1 Pendahuluan Bab 2 Matematika Dasar Bab 3 Dasar-Dasar Teori Bahasa Bab 4 Representasi Bahasa Bab 5 Klasifikasi

Lebih terperinci

TEORI BAHASA DAN AUTOMATA

TEORI BAHASA DAN AUTOMATA MODUL III TEORI BAHASA DAN AUTOMATA Tujuan : Mahasiswa memahami Finite State Automata (FSA) dan dapat menyederhanakan sebuah FSA. Materi : Useless state State distinguishable dan state indistinguishable

Lebih terperinci

Teori Matematika Terkait dengan TBO

Teori Matematika Terkait dengan TBO Teori Matematika Terkait dengan TBO Pertemuan Ke-1 Sri Handayaningsih, S.T., M.T. Email : ning_s12@yahoo.com Teknik Informatika 1 TIU dan TIK 1. Mengingatkan kembali teori matematika yang terkait dengan

Lebih terperinci

BAB II SINTAKS 2.1. SINTAKS

BAB II SINTAKS 2.1. SINTAKS BAB II SINTAKS 2.1. SINTAKS merupakan kumpulan aturan yang mendefinisikan suatu bentuk bahasa. mendefinisikan bagaimana suatu kalimat dibentuk sebagai barisan/urutan dari pemilihan suatu kata dasar. Kata

Lebih terperinci

2. Review TeoriBahasaFormal danotomata

2. Review TeoriBahasaFormal danotomata IF5110 Teori Komputasi 2. Review TeoriBahasaFormal danotomata Oleh: Rinaldi Munir Program Studi Magister Informatika STEI-ITB 1 Terminologi Alfabet: himpunan terbatas simbol-simbol Contoh: alfabetlatin,

Lebih terperinci

4. Undecidabality(Bagian3)

4. Undecidabality(Bagian3) IF5110 Teori Komputasi 4. Undecidabality(Bagian3) Oleh: Rinaldi Munir Program Studi Magister Informatika STEI-ITB 1 Reduksi Sebuahpersoalandapatdireduksimenjadipersoalanlain namun menghasilkan jawaban

Lebih terperinci

Komponen sebuah Kompilator

Komponen sebuah Kompilator Komponen sebuah Kompilator Program Subjek Program Objek ANALISIS SINTESIS Penganalisis Leksikal (Scanner) Penganalisis Sintaks (Parser) Penganalisis Semantik Pembentuk Kode Pengoptimal Kode TABEL 1 Scanning

Lebih terperinci

RENCANA PEMBELAJARAN SEMESTER

RENCANA PEMBELAJARAN SEMESTER RENCANA PEMBELAJARAN SEMESTER F-0653 Issue/Revisi : A0 Tanggal Berlaku : 1 Juli 2015 Untuk Tahun Akademik : 2015/2016 Masa Berlaku : 4 (empat) tahun Jml Halaman : 28 halaman Mata Kuliah : Teori Komputasi

Lebih terperinci

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

PushDown Automata(PDA) Definisi : PDA adalah pasangan 7 tuple M = (Q,, q 0. ), dimana : PushDown Automata(PDA) Definisi : PDA adalah pasangan 7 tuple M = (Q,, q 0, F,, ), dimana : Q : himpunan hingga state, : alfabet input, : alfabet/simbol stack, q 0 Q : state awal, Z 0 : simbol awal stack,

Lebih terperinci

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

SATUAN ACARA PERKULIAHAN MATA KULIAH : TEORI BAHASA DAN AUTOMATA (TBA) KODE / SKS : KK / 3 SKS SATUAN ACARA PERKULIAHAN MATA KULIAH : TEORI BAHASA DAN AUTOMATA (TBA) KODE / SKS : KK-045325 / 3 SKS Mingu Pokok Bahasan 1. 1. Pendahuluan menjelaskan konsep dasar bahasa dan teori tentang string 1.1.

Lebih terperinci

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

SATUAN ACARA PERKULIAHAN STMIK UBUDIYAH INDONESIA SEMESTER GENAP TAHUN AKADEMIK 2013/2014 SATUAN ACARA PERKULIAHAN STMIK UBUDIYAH INDONESIA SEMESTER GENAP TAHUN AKADEMIK 2013/2014 MATA KULIAH FAKULTAS JURUSAN / JENJANG : TEKNIK KOMPILASI : Fakultas Ilmu Komputer : Teknik Informatika PROSES

Lebih terperinci

RENCANA PEMBELAJARAN SEMESTER (RPS)

RENCANA PEMBELAJARAN SEMESTER (RPS) RENCANA PEMBELAJARAN SEMESTER (RPS) CSG3D3 TEORI KOMPUTASI Disusun oleh: Mahmud Dwi Sulistiyo, S.T., M.T. S1 TEKNIK INFORMATIKA FAKULTAS INFORMATIKA UNIVERSITAS TELKOM LEMBAR PENGESAHAN Rencana Pembelajaran

Lebih terperinci

Overview. Pendahuluan. Pendahuluan. Pendahuluan. Pendahuluan. Pendahuluan

Overview. Pendahuluan. Pendahuluan. Pendahuluan. Pendahuluan. Pendahuluan Overview Pertemuan : I Dosen Pembina : Danang Junaedi Deskripsi Tujuan Instruksional Kaitan Materi Penilaian Grade Referensi Jurusan Teknik Informatika Universitas Widyatama Deskripsi Mata kuliah ini mempelajari

Lebih terperinci

EKSPRESI REGULAR PADA SUATU DETERMINISTIC FINITE STATE AUTOMATA

EKSPRESI REGULAR PADA SUATU DETERMINISTIC FINITE STATE AUTOMATA Jurnal Matematika Vol.6 No., November 26 [ 63-7 ] EKSPRESI REGULAR PADA SUATU DETERMINISTIC FINITE STATE AUTOMATA Jurusan Matematika, UNISBA, Jalan Tamansari No, Bandung,46, Indonesia dsuhaedi@eudoramail.com

Lebih terperinci

Pengaruh Paralelisme Terhadap Mesin Turing Sebagai Konsep Komputasi

Pengaruh Paralelisme Terhadap Mesin Turing Sebagai Konsep Komputasi Pengaruh Paralelisme Terhadap Mesin Turing Sebagai Konsep Komputasi Fitrandi Ramadhan and 23515050 Program MagisterInformatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha

Lebih terperinci

BAB III CFG DAN PARSING

BAB III CFG DAN PARSING BAB 3 CFG DAN PARSING 32 BAB III CFG DAN PARSING TUJUAN PRAKTIKUM 1) Memahami dan mengerti CFG. 2) Memahami dan mengerti metode parsing. TEORI PENUNJANG 3.1. Pendahuluan Bentuk umum produksi CFG adalah

Lebih terperinci

Teori Bahasa dan Otomata

Teori Bahasa dan Otomata Teori Bahasa dan Otomata Disajikan oleh: Bernardus Budi Hartono Web : http://pakhartono.wordpress.com/ E-mail : pakhartono at gmail dot com budihartono at acm dot org Teknik Informatika [Gasal 2009 2010]

Lebih terperinci

MODUL 6: TEOREMA KLEENE

MODUL 6: TEOREMA KLEENE MODUL 6: TEOREMA KLEENE Dari pembahasan sebelumnya NFA- yang dapat mengenali suatu bahasa regular dapat dengan lebih langsung diperoleh karena adanya transisi-. Setelah NFA- yang dapat mengenali bahasa

Lebih terperinci

SATUAN ACARA PERKULIAHAN (SAP) Semester Penempatan

SATUAN ACARA PERKULIAHAN (SAP) Semester Penempatan SATUAN ACARA PERKULIAHAN (SAP) Nama Mata Kuliah Kode Mata Kuliah Bobot Kredit Semester Penempatan Penanggung Jawab Mata Kuliah : Teori Bahasa Automata : TI 2A & TI 2B : 3 SKS : III : Fathiah, ST. M. Eng.

Lebih terperinci

Pemodelan CNF Parser dengan Memanfaatkan Pohon Biner

Pemodelan CNF Parser dengan Memanfaatkan Pohon Biner Pemodelan CNF Parser dengan Memanfaatkan Pohon Biner Jansen 13510611 Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132, Indonesia

Lebih terperinci

Non-Deterministic Finite Automata

Non-Deterministic Finite Automata CSG3D3 Teori Komputasi Non-Deterministic Finite Automata Agung Toto Wibowo Ahmad Suryan Yanti Rusmawati Mahmud Dwi Sulistiyo Kurniawan Nur Ramadhani Said Al Faraby Dede Rohidin KK Intelligence, Computing,

Lebih terperinci

MODUL 17. BAHASA-BAHASA REKURSIF DAN RECURSIVELY ENUMERABLE

MODUL 17. BAHASA-BAHASA REKURSIF DAN RECURSIVELY ENUMERABLE MODUL 17. BAHASA-BAHASA REKURSIF DAN RECURSIVELY ENUMERABLE TM T r untuk suatu bahasa rekursif akan menjawab (recognize) atau setelah memproses string masukan. T r Dalam pembahasan sebelumnya kita mendapatkan

Lebih terperinci

FINITE STATE AUTOMATA

FINITE STATE AUTOMATA Otomata & Teori Bahasa FINITE STATE AUTOMATA www.themegallery.com Contents 2 3 4 Finite State Automata Implementasi FSA Deterministic Finite Automata (DFA) Non-deterministic Finite Automata (NFA) Finite

Lebih terperinci

KONSEP GRAMMAR DAN BAHASA

KONSEP GRAMMAR DAN BAHASA KONSEP GRAMMAR DAN BAHASA Konsep Dasar 1. Dalam pembicaraan grammar, anggota alfabet dinamakan simbol terminal atau token. 2. Kalimat adalah deretan hingga simbol-simbol terminal. 3. Bahasa adalah himpunan

Lebih terperinci

4. Undecidabality(Bagian2)

4. Undecidabality(Bagian2) IF5110 Teori Komputasi 4. Undecidabality(Bagian2) Oleh: Rinaldi Munir Program Studi Magister Informatika STEI-ITB 1 MengenumerasiString Biner String biner dapat dipandang sebagai integer. Jikawadalahstring

Lebih terperinci

Deterministic Finite Automata

Deterministic Finite Automata CSG3D3 Teori Komputasi Deterministic Finite Automata Agung Toto Wibowo Ahmad Suryan Yanti Rusmawati Mahmud Dwi Sulistiyo Kurniawan Nur Ramadhani Said Al Faraby Dede Rohidin KK Intelligence, Computing,

Lebih terperinci

Amir Hamzah AKPRIND PRESS 2009

Amir Hamzah AKPRIND PRESS 2009 1 TEORI BAHASA DAN OTOMATA Amir Hamzah AKPRIND PRESS 2009 1 TEORI BAHASA DAN OTOMATA Amir Hamzah JURUSAN TEKNIK INFORMATIKA FAKULTAS TEKNOLOGI INDUSTRI INSTITUT SAINS DAN TEKNOLOGI AKPRIND YOGYAKARTA AKPRIND

Lebih terperinci

TEORI BAHASA DAN OTOMATA [TBO]

TEORI BAHASA DAN OTOMATA [TBO] TEORI BAHASA DAN OTOMATA [TBO] Tata Bahasa Bebas Konteks Bila pada tata bahasa regular terdapat pembatasan pada ruas kanan atau hasil produksinya, maka pada tata bahasa bebas konteks/ context free grammar,

Lebih terperinci

DIKTAT TEORI BAHASA DAN OTOMATA

DIKTAT TEORI BAHASA DAN OTOMATA DIKTAT TEORI BAHASA DAN OTOMATA DISUSUN OLEH Ir. Sudiadi, M.M.A.E. Ir. Rizani Teguh, M.T. Sekolah Tinggi Manajemen Informatika dan Komputer Global Informatika MDP 207 Hal KATA PENGANTAR Pertama-tama kami

Lebih terperinci

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

BAB 3 ANALISIS DAN PERANCANGAN PROGRAM. dirancang dan selanjutnya dapat diketahui gambaran dan kemampuan sistem secara BAB 3 ANALISIS DAN PERANCANGAN PROGRAM 3.1 Analisis Kebutuhan Sistem Analisis kebutuhan sistem merepresentasikan daftar kebutuhan sistem yang akan dirancang dan selanjutnya dapat diketahui gambaran dan

Lebih terperinci

Seminar Nasional Aplikasi Teknologi Informasi 2004 Yogyakarta, 19 Juni 2004

Seminar Nasional Aplikasi Teknologi Informasi 2004 Yogyakarta, 19 Juni 2004 Seminar Nasional Aplikasi Teknologi Informasi 2004 Yogyakarta, 19 Juni 2004 Sistem Penganalisis Sintaks Otomatis dengan Metode Generalized-LR Parsing Rila Mandala, Antonius Sigit, Rinaldi Munir, Harlili

Lebih terperinci

TEORI BAHASA & OPERASI MATEMATIS (2)

TEORI BAHASA & OPERASI MATEMATIS (2) PERTEMUAN III TEORI BAHASA & OPERASI MATEMATIS (2) Mahasiswa memahami bahasa sebagai himpunan dan operasi 2 -nya, cara mendefinisikan bahasa, serta cara mengenali anggota 2 bahasa JURUSAN TEKNIK INFORMATIKA

Lebih terperinci

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

Bahasa adalah kumpulan kalimat. Kalimat adalah rangkaian kata. Kata adalah komponen terkecil kalimat yang tidak bisa dipisahkan lagi. Konsep dan Notasi Bahasa Teori Bahasa Bahasa adalah kumpulan kalimat. Kalimat adalah rangkaian kata. Kata adalah komponen terkecil kalimat yang tidak bisa dipisahkan lagi. Contoh : Si Kucing kecil menendang

Lebih terperinci

PERTEMUAN 9 TEORI BAHASA DAN OTOMATA [TBO]

PERTEMUAN 9 TEORI BAHASA DAN OTOMATA [TBO] PERTEMUAN 9 TEORI BAHASA DAN OTOMATA [TBO] Reduksi DFA Untuk suatu bahasa regular kemungkinan ada sejumlah DFA yang dapat menerimanya Perbedaannya umumnya adalah pada jumlah state yang dimiliki oleh otomata-otomata

Lebih terperinci

Analisis Sintaksis (syntactic analyzer atau parser)

Analisis Sintaksis (syntactic analyzer atau parser) Analisis Sintaksis (syntactic analyzer atau parser) pohon (tree) suatu graph terhubung yang tidak sirkuler, memiliki satu buah simpul (atau vertex / node) yaitu akar (root) dan dari akar ini memiliki lintasan

Lebih terperinci

MODUL 1: PENGANTAR TEORI BAHASA

MODUL 1: PENGANTAR TEORI BAHASA MODUL 1: PENGANTAR TEORI BAHASA Pengantar Automata dan Bahasa Teori Pendukung Konsep Bahasa Slide 1 dari 38 PENGANTAR AUTOMATA DAN BAHASA Obyektif membahas model-model komputasi sebagai mesin abstraks

Lebih terperinci

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

MODUL 12: BENTUK-BENTUK SEDERHANA DAN BENTUK-BENTUK NORMAL MODUL 12: BENTUK-BENTUK SEDERHANA DAN BENTUK-BENTUK NORMAL PENDAHULUAN Dalam bahasan berikut akan dilakukan cara-cara untuk memperbaiki grammar tanpa adanya perubahan penting dari bahasa yang dihasilkannya:

Lebih terperinci

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

TEKNIK KOMPILASI. Dosen : Dwi Retno Wahyuningsih, S. Kom. Jurusan : Teknik Informatika Semester Genap 2007/2008 TEKNIK KOMPILASI Dosen : Dwi Retno Wahyuningsih, S. Kom Jurusan : Semester Genap 2007/2008 SEKOLAH TINGGI MANAJEMEN INFORMATIKA DAN KOMPUTER (STMIK) DARMAJAYA BANDAR LAMPUNG 2008 GARIS-GARIS BESAR PROGRAM

Lebih terperinci

TEKNIK KOMPILASI Bahasa Regular

TEKNIK KOMPILASI Bahasa Regular TEKNIK KOMPILASI Bahasa Regular Sekolah Manajemen Informatika dan Komputer (STMIK) Palangkaraya 2012 Tata bahasa reguler Sebuah bahasa dinyatakan regular jika terdapat Finite State Automata (FSA) yang

Lebih terperinci

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

DFA. Teori Bahasa dan Automata. Viska Mutiawani - Informatika FMIPA Unsyiah DFA Teori Bahasa dan Automata 1 DFA DFA: Deterministic Finite Automata Atau Automata Hingga Deterministik (AHD) Merupakan salah satu entuk dari Finite Automata Finite Automata merupakan salah satu dari

Lebih terperinci

1. Pendahuluan. 2. Tinjauan Pustaka

1. Pendahuluan. 2. Tinjauan Pustaka 1. Pendahuluan Ilmu komputer memiliki dua komponen utama yaitu model dan gagasan mendasar mengenai komputasi, serta teknik rekayasa untuk perancangan sistem komputasi. Teori bahasa dan automata merupakan

Lebih terperinci