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

Ukuran: px
Mulai penontonan dengan halaman:

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

Transkripsi

1 Push Down Automata Pendahuluan Latar belakang munculnya konsep PDA [1 & 3] Terdapat context-free languages yang tidak regular, contoh {0 n 1 n 0=<n} {0n1n 0 n k, for some fixed k} Is not regular Is regular, for any fixed k Finite Automota tidak bisa mengenal semua contextfree languages Finite Automata memiliki memory yang terbatas A DFA can remember only a finite amount of information, whereas a PDA can remember an infinite amount of (certain types of) information Pertemuan 11 Dosen Pembina : Danang Junaedi 2 Perbedaan FA dan PDA [7] Grammar-machine equivalence [3] Finite Automata Push Down Atomata 3 4 1

2 Pushdown Automaton [3] Power of PDAs [3] Definisi [3] A PDA is an NFA-ε with a stack. Transitions are modified to accommodate stack operations A pushdown automaton (PDA) is an abstract model machine similar to the FSA It has a finite set of states. However, in addition, it has a pushdown stack. Moves of the PDA are as follows: 1. An input symbol is read and the top symbol on the stack is read. 2. Based on both inputs, the machine enters a new state and writes zero or more symbols onto the pushdown stack. 3. Acceptance of a string occurs if the stack is ever empty. (Alternatively, acceptance can be if the PDA is in a final state. Both models can be shown to be equivalent.) 5 PDAs are more powerful than FSAs. a n b n, which cannot be recognized by an FSA, can easily be recognized by the PDA. Stack all a symbols and, for each b, pop an a off the stack. If the end of input is reached at the same time that the stack becomes empty, the string is accepted. It is less clear that the languages accepted by PDAs are equivalent to the context-free languages. 6 PDAs to produce derivation strings [3] Given some BNF (context free grammar). Produce the leftmost derivation of a string using a PDA: 1. If the top of the stack is a terminal symbol, compare it to the next input symbol; pop it off the stack if the same. It is an error if the symbols do not match. 2. If the top of the stack is a nonterminal symbol X, replace X on the stack with some string α, where α is the right hand side of some production X α. This PDA now simulates the leftmost derivation for some context-free grammar. This construction actually develops a nondeterministic PDA that is equivalent to the corresponding BNF grammar. (i.e., step 2 may have multiple options.) NDPDAs are different from DPDAs [3] What is the relationship between deterministic PDAs and nondeterministic PDAs? Consider the set of palindromes, strings reading the same forward and backward, generated by the grammar X 0X0 1X1 2 We can recognize such strings by a deterministic PDA: 1. Stack all 0s and 1s as read. 2. Enter a new state upon reading a Compare each new input to the top of stack, and pop stack. However, consider the following set of palindromes: X 0X0 1X1 0 1 In this case, we never know where the middle of the string is. To recognize these palindromes, the automaton must guess where the middle of the string is (i.e., is nondeterministic)

3 Pendahuluan Model Fisik [9] Mekanisme kerja PDA [4] Memiliki tempat penyimpanan yang tidak terbatas berupa stack/tumpukan Stack kumpulan dari elemenelemen yg sejenis dengan sifat pengambilan dan penambahan melalui suatu tempat yg disebut top of stack (puncak stack) Sistem pengaturan LIFO (Last In First Out) Operasi pop Pengambilan elemen dari stack Operasi push memasukkan elemen ke dalam stack Keterangan 1. Pita input berisi deretan simbol yang akan diproses. 2. Tumpukan dapat diisi oleh simbol-simbol yang disusun secara LIFO (Last In First Out) 3. Pita input bergerak satu arah. 4. Pada saat awal, head berada tepat di atas simbol pertama, Stack berisi simbol awal Stack. 5. Status PDA dapat berubahubah sesuai dengan simbol input dan simbol teratas yang terdapat dalam Stack Formal Definition of a PDA [6] Formal Definition of a PDA [9] A pushdown automaton (PDA) is a seven-tuple: Q Σ Г S Z 0 F δ M = (Q, Σ, Г, δ, S, Z 0, F) A finite set of states A finite set of input alphabet A finite set of stack alphabet The initial/starting state, S is in Q A starting stack symbol, is in Г A set of final/accepting states, which is a subset of Q A transition function 11 P = (Q, Σ, Γ, δ, S, Z 0, F) di mana P = nama PDA. Q = himpunan berhingga dari status PDA. Σ = alfabet input. Γ = himpunan simbol yang boleh terdapat pada Stack. δ = himpunan transisi status. S = status awal. Z 0 = simbol pertama yang terdapat pada Stack F = himpunan status akhir. Transisi status (δ) dinyatakan dalam bentuk δ(qi, a, X) = {(qj, γ)} ; qi, qj Q ; a = Σ ; X = Γ ; γ = Γ* Deskripsi sesaat : (q, aw, α), di mana q = status mesin pada saat itu. a = simbol yang sedang terbaca oleh head w = deretan simbol input yang belum terbaca. α = deretan simbol dalam Stack. TOS ada di paling kiri. Contoh : (q1, 0101, ABB) Jika deskripsi pada suatu saat adalah (q1, 0101, ABB) dan terdapat aturan transisi berbentuk δ(q1, 0, A) = {(q2, CA), maka deskripsi mesin berubah menjadi (q2, 101, CABB), ditulis (q1, 0101, ABB) - (q2, 101, CABB). 12 3

4 Transition function [6] Example 1-1 δ(q 0, 0, Z 0 )=(q 1, 0Z 0 ) Start state Input symbol Stack symbol Next state If next state is still q 0, this means the PDA has not reached the middle of the input string 0 Z 0 String γ=0z 0 13 For the language {x x = a n b n, n 0 and n in {a,b}*} M 1 = (Q, Σ, Г, δ, S, Z 0, F) Q={q 0, q 1, q 2, q 3 }; Σ={a,b}; Г={a,$} S={q 0 }; Z 0 ={$}; F={q 3 } final state atau {} isi stack kosong δ: (1) δ(q 0, a, $) = {(q 1, a$)} (2) δ(q 1, a, a) = {(q 1, aa)} (3) δ(q 1, b, a) = {(q 2, ε)} (4) δ(q 2, b, a) = {(q 2, ε)} (5) δ(q 2, ε, $) = {(q 3, ε)} 14 Example 1-2 Example Computation: (1) δ(q 0, a, $) = {(q 1, a$)} (2) δ(q 1, a, a) = {(q 1, aa)} (3) δ(q 1, b, a) = {(q 2, ε)} (4) δ(q 2, b, a) = {(q 2, ε)} (5) δ(q 2, ε, $) = {(q 3, ε)} Rule Applied State Input Stack Rules Applicable - q 0 aabb $ (1) (1) q 1 abb a$ (2) (2) q 1 bb aa$ (3) (3) q 2 b εa$ (4) (4) q 2 ε ε$ (5) (5) q 3 ε ε - Karena state akhir ada di q 3 maka string aabb diterima Example 1-3 Example Computation: (1) δ(q 0, a, $) = {(q 1, a$)} (2) δ(q 1, a, a) = {(q 1, aa)} (3) δ(q 1, b, a) = {(q 2, ε)} (4) δ(q 2, b, a) = {(q 2, ε)} (5) δ(q 2, ε, $) = {(q 3, ε)} Rule Applied State Input Stack Rules Applicable - q 0 abb $ (1) (1) q 1 bb a$ (3) (3) q 2 b ε$ - Karena state akhir bukan di q 3 maka string abb ditolak

5 Example 2-1 [8] For the language {x x = wcw r and w in {0,1}*} M = ({q 1, q 2 }, {0, 1, c}, {R, B, G}, δ, q 1, R, q 2 ) δ: (1) δ(q 1, 0, R) = {(q 1, BR)} (9) δ(q 1, 1, R) = {(q 1, GR)} (2) δ(q 1, 0, B) = {(q 1, BB)} (10) δ(q 1, 1, B) = {(q 1, GB)} (3) δ(q 1, 0, G) = {(q 1, BG)} (11) δ(q 1, 1, G) = {(q 1, GG)} (4) δ(q 1, c, R) = {(q 2, R)} (12) δ(q 2, 1, G) = {(q 2, ε)} (5) δ(q 1, c, B) = {(q 2, B)} (6) δ(q 1, c, G) = {(q 2, G)} (7) δ(q 2, 0, B) = {(q 2, ε)} (8) δ(q 2, ε, R) = {(q 2, ε)} Notes: Rule #8 is used to pop the final stack symbol off at the end of a computation. Example 2-2 [8] Example Computation: (1) δ(q 1, 0, R) = {(q 1, BR)} (7) δ(q 2, 0, B) = {(q 2, ε)} (2) δ(q 1, 0, B) = {(q 1, BB)} (8) δ(q 2, ε, R) = {(q 2, ε)} (3) δ(q 1, 0, G) = {(q 1, BG)} (9) δ(q 1, 1, R) = {(q 1, GR)} (4) δ(q 1, c, R) = {(q 2, R)} (10) δ(q 1, 1, B) = {(q 1, GB)} (5) δ(q 1, c, B) = {(q 2, B)} (11) δ(q 1, 1, G) = {(q 1, GG)} (6) δ(q 1, c, G) = {(q 2, G)} (12) δ(q 2, 1, G) = {(q 2, ε)} Rule Applied State Input Stack Rules Applicable - q 1 01c10 R (1) (1) q 1 1c10 BR (10) (10) q 1 c10 GBR (6) (6) q 2 10 GBR (12) (12) q 2 0 εbr (7) (7) q 2 ε εr (8) (8) q 2 ε ε - Karena state akhir ada di q 2 maka string 01c10 diterima Example 2-3 [8] Example Computation: (1) δ(q 1, 0, R) = {(q 1, BR)} (9) δ(q 1, 1, R) = {(q 1, GR)} (2) δ(q 1, 0, B) = {(q 1, BB)} (10) δ(q 1, 1, B) = {(q 1, GB)} (3) δ(q 1, 0, G) = {(q 1, BG)} (11) δ(q 1, 1, G) = {(q 1, GG)} (4) δ(q 1, c, R) = {(q 2, R)} (12) δ(q 2, 1, G) = {(q 2, ε)} (5) δ(q 1, c, B) = {(q 2, B)} (6) δ(q 1, c, G) = {(q 2, G)} (7) δ(q 2, 0, B) = {(q 2, ε)} (8) δ(q 2, ε, R) = {(q 2, ε)} Rule Applied State Input Stack Rules Applicable - q 1 1c1 R (9) (9) q 1 c1 GR (6) (6) q 2 1 GR (12) (12) q 2 ε εr (8) (8) q 2 ε ε - Karena state akhir ada di q 2 maka string 1c1 diterima Jenis-Jenis PDA 1. Ditinjau dari stack Non Extended PDA δ(q i, a, α) = {(q j, γ)} ; q i, q j qj Q ; a Σ ; α, γ Γ*, dimana α adalah satu simbol teratas dalam stack. γ adalah deretan simbol yang menggantikan α Contoh : δ(q 1, c, G) = {(q 2, G)} Extended PDA δ(q i, a, α) = {(q j, γ)} ; q i, q j Q ; a Σ ; α, γ Γ*, dimana α adalah deretan simbol teratas dalam stack. γ adalah deretan simbol yang menggantikan α Contoh : δ(q 1, a, bsb) = {(q 2, S)} 2. Ditinjau dari fungsi transisi Deterministik PDA δ(q, a, α) = {(p, γ)} contoh: δ(q 0, a, a) = {(q 1, ε)} Nondeterministik PDA δ(q 0, a, α) = {(p 1, γ 1 ), (p 2, γ 2 ), (p 3, γ 3 ), } contoh: δ(q 0, a, a) = {(q 0, aa), (q 1, ε)}

6 Studi Kasus 1. PDA yang dapat mengenali kalimat 0 n 1 n, n = 1, 2, 3, P 1 = (Q, Σ, Γ, δ, S, Z 0, F) ; Q = {q 0, q 1 } ; Σ = {0, 1}; Γ = {0, 1, Z} ; S = q 0 ; Z 0 = Z ; F = {} ; δ sebagai berikut : (1) δ(q 0, 0, Z) = {(q 0, 0Z)} (4) δ(q 1, 1, 0) = {(q 1, ε)} (2) δ(q 0, 0, 0) = {(q 0, 00)} (5) δ(q 1, ε, Z) = {(q 1, ε)} (3) δ(q 0, 1, 0) = {(q 1, ε)} Jika diberikan string input , bagaimanakah perubahan deskripsi sesaat dan komputasinya? Termasuk ke dalam jenis PDA apakah P1?Jelaskan alasannya! 2. PDA P 2 = (Q, Σ, Γ, δ, S, Z 0, F) Q = {q, p} ; Σ = {a, b} ; Γ = {a, b, S, Z} ; S = q ; Z 0 = Z ; F = {p} ; δ sebagai berikut : (1) δ(q, a, b) = {(q, bs)} (6) δ(q, a, S) = {(q, as)} (11) δ(q, a, bsb) = {(q, S)} (2) δ(q, b, b) = {(q, bb)} (7) δ(q, b, Z) = {(q, bz)} (12) δ(q, ε, az) = {(p, ε)} (3) δ(q, b, bs) = {(q, a)} (8) δ(q, b, a) = {(q, ba)} (13) δ(q, b, S) = {(q, bs)} (4) δ(q, a, Z) = {(q, az)} (9) δ(q, b, ba) = {(q, as)} (14) δ(q, ε, bsb) = {(q, S)} (5) δ(q, a, a) = {(q, aa)} (10) δ(q, a, asa) = {(q, S)} (15) δ(q, ε, asa) = {(q, S)} Jika diberikan input bbaabb, bagaimanakah perubahan deskripsi sesaat dan komputasinya? Termasuk ke dalam jenis PDA apakah P2?Jelaskan alasannya! 21 Studi Kasus [9] 3. PDA P 3 = (Q, Σ, Γ, δ, S, Z 0, F) Q = {q 0, q 1, q 2 } ; Σ = {a, b} ; Γ = {a, b, Z} ; S=q 0 ; Z 0 = Z ; F = {q2} ; δ sebagai berikut : a. δ(q 0, a, Z) = {(q 0, az)} b. δ(q 0, b, Z) = {(q 0, bz)} c. δ(q 0, a, a) = {(q 0, aa), (q 1, ε)} d. δ(q 0, a, b) = {(q 0, ab)} e. δ(v, b, a) = {(q 0, ba)} f. δ(q 0, b, b) = {(q 0, bb), (q 1, ε)} g. δ(q 1, a, a) = {(q 1, ε)} h. δ(q 1, b, b) = {(q 1, ε)} i. δ(q 1, ε, Z) = {(q 2, ε)} Bagaimanakah perubahan deskripsi sesaat dan komputasinya jika diberi input ababab? Termasuk ke dalam jenis PDA apakah P3?Jelaskan alasannya 22 Konstruksi Push Down Automata Cara Mengkonstruksi PDA [9] Analisis skenario kerja PDA Buat skenario kerja PDA Definisi status-status yang diperlukan Definisikan PDA Analisis tata bahasa Berdasarkan Tata Bahasa Bebas Konteks Pertemuan 12 Dosen Pembina : Danang Junaedi 24 6

7 Analisis skenario kerja PDA [9] Contoh : PDA yang mengenali 0 i 1 2i Buat skenario kerja PDA 1. Jika saat awal, head membaca 0, TOS = Z, maka mesin telah membaca 0, simpan 00 ke dalam stack. 2. Jika mesin telah membaca 0, head membaca 0, TOS = 0, maka mesin telah membaca 0, simpan 00 ke dalam stack. 3. Jika mesin telah membaca 0, head membaca 1, TOS = 0, maka mesin telah membaca 1, ambil simbol teratas dari stack. 4. Jika mesin telah membaca 1, head membaca 1, TOS = 0, maka mesin telah membaca 1, ambil simbol teratas dari stack. 5. Jika mesin telah membaca 1, input sudah habis, TOS = Z, maka mesin telah membaca 1, ambil simbol teratas dari stack, head tidak bergerak. Definisi status-status yang diperlukan q 0 = saat awal q 1 = mesin telah membaca 0 q 2 = mesin telah membaca 1 Analisis skenario kerja PDA [9] Contoh : PDA yang mengenali 0 i 1 2i (Lanjutan) Definisikan PDA P 4 = (Q, Σ, Γ, δ, S, Z 0, F) Q = himpunan status = {q 0, q 1, q 2 } Σ = himpunan simbol-simbol yang dibaca oleh head = {0, 1} Γ = himpunan simbol - simbol yang disimpan ke dalam stack = {0,Z} S = q 0 Z 0 = Z F = {} Terjemahkan skenario kerja ke dalam fungsi transisi 1. δ(q 0, 0, Z) = {(q 1, 00Z)} 2. δ(q 1, 0, 0) = {(q 1, 000)} 3. δ(q 1, 1, 0) = {(q 2, ε)} 4. δ(q 2, 1, 0) = {(q 2, ε)} 5. δ(q 2, ε, Z) = {(q 2, ε)} Analisis tata bahasa Berdasarkan Tata Bahasa Bebas Konteks [9] Jika terdapat tata bahasa bebas konteks G = (Vn, Vt, P, S), maka PDA yang mengenali bahasa L(G) adalah P = (Q, Σ, Γ, δ, S, Z 0, F) ; Q = {q} ; Σ = Vt ; Γ = (Vn U Vt) ; S = q ; Z 0 = S ; F = {} dan δ sebagai berikut : 1. Jika A α anggota dari P, maka δ(q, ε, A) mengandung (q, α) 2. δ(q, a, a) = {(q, ε)} untuk seluruh a Vt Contoh: Tata bahasa bebas konteks untuk {0 n 1 2n n > 0} G = (Vn, Vt, P, S); Vn = {X} ; Vt = {0, 1} ; S = S ; P : { X 0X11 X 011 } Maka P 5 = (Q, Σ, Γ, δ, q 0, Z 0, F) ; Q = {q} ; Σ = {0, 1} ; Γ = {X, 0, 1} ; S = q; Z 0 = S ; F = {} dan δ sebagai berikut : 1. δ(q, ε, X) = {(q, 0X11)} ketentuan 1 2. δ(q, ε, X) = {(q, 011)} ketentuan 1 3. δ(q, 0, 0) = {(q, ε)} ketentuan 2 4. δ(q, 1, 1) = {(q, ε)} ketentuan 2 27 Studi Kasus [9] 1. Buktikanlah bahwa kalimat diterima oleh P 4 dan P 5 2. Buatlah PDA diterministik P 6 yang dapat mengenali bahasa {0 n 1 n n > 0} U {1 n 0 n n > 0} 3. Buatlah PDA P 7 yang dapat mengenali bahasa L(G), di mana G adalah sebagai berikut : G = (Vn, Vt, P, S) ; Vn = {N, D} ; Vt = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} ; S = N ; P sebagai berikut : N D N ND D P 7 = (Q, Σ, Γ, δ, q 0, Z 0, F) ; Q = {q0, q1} ; Σ = {0, 1}; Γ = {0, 1, Z} ; q 0 = q0 ; Z 0 = Z ; F = {} ; 4. Buatlah PDA P 8 yang mampu mengenali bahasa {0 2n 1 n n>0} 28 7

8 Referensi 1. Tanggal Akses : 11 April Tanggal Akses 11 April Tanggal Akses : 11 April Tanggal Akses : 8 April Tanggal Akses 11 April % ppt, Tanggal Akses : 11 April Tanggal Akses : 11 April Tanggal Akses : 11 April Roni Djuliawan, M.T., Diktat & Handout Kuliah Teori Bahasa & Otomata, Teknik Informatika Universitas Widyatama,

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

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 II TEORI BAHASA DAN AUTOMATA Tujuan : Mahasiswa memahami Finite State Automata (FSA) dan dapat mengeksekusi suatu mesin otomata Materi : FSA dan Implemetasi FSA Deterministic Finite Automata (DFA)

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

Pendahuluan [6] FINITE STATE AUTOMATA. Hubungan RE & FSA [5] Finite State Diagram [6] 4/27/2011 IF-UTAMA 1

Pendahuluan [6] FINITE STATE AUTOMATA. Hubungan RE & FSA [5] Finite State Diagram [6] 4/27/2011 IF-UTAMA 1 FINITE STATE AUTOMATA Pertemuan 9 & 10 Dosen Pembina : Danang Junaedi 1 Pendahuluan [6] Bahasa formal dapat dipandang sebagai entitas abstrak, yaitu sekumpulan string yang berisi simbol-simbol alphabet

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

IF-UTAMA 1. Penurunan (Derivation) [2] Penurunan (Derivation) Contoh Penurunan [1] Parse Tree [1]

IF-UTAMA 1. Penurunan (Derivation) [2] Penurunan (Derivation) Contoh Penurunan [1] Parse Tree [1] Penurunan (Derivation) [2] Penurunan (Derivation) Pertemuan : 5 Dosen Pembina : Danang Junaedi IF-UTM 1 Berfungsi untuk menggambarkan atau mengetahui bagaimana memperoleh suatu string dari dari suatu tata

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

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

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

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

Ekspresi Reguler Definisi. Notasi Ekspresi Regular. Contoh Ekspresi Reguler [2]

Ekspresi Reguler Definisi. Notasi Ekspresi Regular. Contoh Ekspresi Reguler [2] Ekspresi Reguler Definisi Pertemuan : 3 Dosen Pembina : Danang Junaedi IF-UTAMA 1 Suatu cara untuk merepresentasikan bahasa regular [4] Pola (pattern) atau template untuk string dari suatu bahasa [3] Cara

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

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

Grammar dan Tingkat Bahasa

Grammar dan Tingkat Bahasa CSG3D3 Teori Komputasi Grammar dan Tingkat Bahasa Agung Toto Wibowo Ahmad Suryan Yanti Rusmawati Mahmud Dwi Sulistiyo Kurniawan Nur Ramadhani Said Al Faraby Dede Rohidin KK Intelligence, Computing, and

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

Teori Bahasa Formal dan Automata

Teori Bahasa Formal dan Automata 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

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

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

Teori Komputasi 11/2/2016. Bab 5: Otomata (Automata) Hingga. Otomata (Automata) Hingga. Otomata (Automata) Hingga

Teori Komputasi 11/2/2016. Bab 5: Otomata (Automata) Hingga. Otomata (Automata) Hingga. Otomata (Automata) Hingga Teori Komputasi Fakultas Teknologi dan Desain Program Studi Teknik 1-1 Informatika Bab 5: Agenda. Deterministic Finite Automata DFA (Otomata Hingga Deterministik) Equivalen 2 DFA Finite State Machine FSA

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

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

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

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

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

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

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

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

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

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

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

TEORI BAHASA DAN AUTOMATA

TEORI BAHASA DAN AUTOMATA MODUL VIII TEORI BAHASA DAN AUTOMATA Tujuan : Mahasiswa memahami ekspresi reguler dan dapat menerapkannya dalam berbagai penyelesaian persoalan. Materi : Hubungan antara DFA, NFA, dan ekspresi regular

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

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

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

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

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

Language Is Cool. The Chomsky Hierarchy. Normal Forms. Chomsky Normal Form (CNF) & Greibach Normal Form (GNF) Teori Bahasa & Otomata - Danang Junaedi

Language Is Cool. The Chomsky Hierarchy. Normal Forms. Chomsky Normal Form (CNF) & Greibach Normal Form (GNF) Teori Bahasa & Otomata - Danang Junaedi IF-UTAMA 1 Chomsky Normal Form (CNF) & Greibach Normal Form (GNF) Dosen Pembina Danang Junaedi Language Is Cool Language: A protocol for the transmission of concepts and intentions between humans Documentation

Lebih terperinci

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

MODUL MATA KULIAH TEORI BAHASA DAN OTOMATA DOSEN:

MODUL MATA KULIAH TEORI BAHASA DAN OTOMATA DOSEN: MODUL MATA KULIAH TEORI BAHASA DAN OTOMATA DOSEN: Mira Kania S.,ST.,MT Utami Dewi W.,S.Kom IF I. PENDAHULUAN PENDAHULUAN Komputer digunakan sebagai alat bantu untuk menyelesaikan pekerjaan(task). Dua pertanyaan

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

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 & AUTOMATA

TEORI BAHASA & AUTOMATA TEORI BAHASA & AUTOMATA Dosen: Dadang mulyana Alamat email untuk tugas: dadangstmik@gmail.com 1 Cara pengiriman tugas: Dalam subjek email tuliskan: Instansi_kelas_nama_matakuliah_jenistugas Contoh: Ahmad

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

TEKNIK KOMPILASI Konsep & Notasi Bahasa

TEKNIK KOMPILASI Konsep & Notasi Bahasa TEKNIK KOMPILASI Konsep & Notasi Bahasa Sekolah Manajemen Informatika dan Komputer (STMIK) Palangkaraya 2012 Konsep dan Notasi bahasa Teknik Kompilasi merupakan kelanjutan dari konsepkonsep yang telah

Lebih terperinci

TEORI BAHASA DAN OTOMATA [TBO]

TEORI BAHASA DAN OTOMATA [TBO] TEORI BAHASA DAN OTOMATA [TBO] Ekspresi Regular (1) Sebuah bahasa dinyatakan regular jika terdapat finite state automata yang dapat menerimanya. Bahasa-bahasa yang diterima oleh suatu finite state automata

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

POHON PENURUNAN Context Free Grammar

POHON PENURUNAN Context Free Grammar POHON PENURUNAN Context Free Grammar Bila pada tata bahasa regular terdapat pembatasan pada ruas kanan atau hasil produksinya, maka pada tata bahasa bebas konteks/ context free grammar, selanjutnya disebut

Lebih terperinci

Sebuah bahasa dinyatakan regular jika terdapat finite state automata yang dapat menerimanya. Bahasa-bahasa yang diterima oleh suatu finite state

Sebuah bahasa dinyatakan regular jika terdapat finite state automata yang dapat menerimanya. Bahasa-bahasa yang diterima oleh suatu finite state EKSPRESI REGULAR Sebuah bahasa dinyatakan regular jika terdapat finite state automata yang dapat menerimanya. Bahasa-bahasa yang diterima oleh suatu finite state automata bisa dinyatakan secara sederhana

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

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

PENDAHULUAN. Terdapat tiga topik utama di teori otomata yaitu:

PENDAHULUAN. Terdapat tiga topik utama di teori otomata yaitu: PENDAHULUAN Pengertian Komputer mengikuti sejumlah prosedur sistematis, atau algoritme, yang dapat diaplikasikan untuk serangkaian input (string) yang menyatakan integer dan menghasilkan jawaban setelah

Lebih terperinci

Dasar Teori Bahasa & Grammar

Dasar Teori Bahasa & Grammar Dasar Teori Bahasa & Grammar Dasar Teori Bahasa Grammar & Bahasa Klasifikasi Noam Chomsky Teori Bahasa Teori bahasa membicarakan bahasa formal (formal language), terutama untuk kepentingan perancangan

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

Teori Himpunan. Matematika Dasar untuk Teori Bahasa Otomata. Operasi pada Himpunan. Himpunan Tanpa Elemen. Notasi. Powerset & Cartesian Product

Teori Himpunan. Matematika Dasar untuk Teori Bahasa Otomata. Operasi pada Himpunan. Himpunan Tanpa Elemen. Notasi. Powerset & Cartesian Product Teori Himpunan Matematika Dasar untuk Teori Bahasa Otomata Teori Bahasa & Otomata Semester Ganjil 2009/2010 Himpunan adalah sekumpulan entitas tidak memiliki struktur sifatnya hanya keanggotaan Notasi

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

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

Penerapan Finite State Automata Pada Proses Peminjaman Buku di Perpustakaan Universitas Kristen Satya Wacana Artikel Ilmiah

Penerapan Finite State Automata Pada Proses Peminjaman Buku di Perpustakaan Universitas Kristen Satya Wacana Artikel Ilmiah Penerapan Finite State Automata Pada Proses Peminjaman Buku di Perpustakaan Universitas Kristen Satya Wacana Artikel Ilmiah Peneliti : Raymond Elias Mauboy (672013158) Prof. Ir. Danny Manongga, MS.c.,

Lebih terperinci

Teori Bahasa dan Automata. Finite State Automata & Non Finite State Automata

Teori Bahasa dan Automata. Finite State Automata & Non Finite State Automata Teori Bahasa dan Automata Finite State Automata & Non Finite State Automata Finite State Automata Model matematika suatu sistem yang menerima input dan output diskrit Mesin automata dari bahasa Regular

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

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

PENERAPAN KONSEP FINITE STATE AUTOMATA (FSA) PADA MESIN PEMBUAT MINUMAN KOPI OTOMATIS

PENERAPAN KONSEP FINITE STATE AUTOMATA (FSA) PADA MESIN PEMBUAT MINUMAN KOPI OTOMATIS Jurnal komputasi, Desember 2012, Vol 1, No. 1 PENERAPAN KONSEP FINITE STATE AUTOMATA (FSA) PADA MESIN PEMBUAT MINUMAN KOPI OTOMATIS 1 Rizky Indah Melly E.P, 2 Wamiliana, 1 Didik Kurniawan 1 Jurusan Ilmu

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

1, 2, 3

1, 2, 3 Penerapan Algoritma Depth First Search (DFS) Dinamis Untuk Menentukan Apakah Sebuah String Diterima Oleh Bahasa Reguler yang Didefinisikan Nondeterministic Finite Automata (NFA) Muhammad Ihsan, Ilden Abi

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

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

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

BAB 4 IMPLEMENTASI DAN EVALUASI PROGRAM. dengan perangkat yang digunakan. Beberapa kriteria standar ditentukan agar sistem

BAB 4 IMPLEMENTASI DAN EVALUASI PROGRAM. dengan perangkat yang digunakan. Beberapa kriteria standar ditentukan agar sistem BAB 4 IMPLEMENTASI DAN EVALUASI PROGRAM 4.1 Kebutuhan Sistem Kebutuhan untuk menjalankan sistem aplikasi yang telah dibuat sangat berkaitan dengan perangkat yang digunakan. Beberapa kriteria standar ditentukan

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

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

Penerapan Konsep Finite State Automata (FSA) pada Mesin Pembuat Minuman Kopi Otomatis

Penerapan Konsep Finite State Automata (FSA) pada Mesin Pembuat Minuman Kopi Otomatis Penerapan Konsep Finite State Automata (FSA) pada Mesin Pembuat Minuman Kopi Otomatis 1 Wamiliana, 2 Didik Kurniawan 2 Rizky Indah Melly E.P 1 Jurusan Matematika FMIPA Universitas Lampung 2 Jurusan Ilmu

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

Implementasi DFS dan BFS Dalam Recognizer Pushdown Automata

Implementasi DFS dan BFS Dalam Recognizer Pushdown Automata Implementasi DFS dan BFS Dalam Recognizer Pushdown Automata Hendrikus Bimawan Satrianto Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl.Ganesha no.10,

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

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

SENTENCE ANALYSIS WITH ARTIFICIAL INTELLIGENCE MACHINE LEARNING USING FINITE STATE AUTOMATA

SENTENCE ANALYSIS WITH ARTIFICIAL INTELLIGENCE MACHINE LEARNING USING FINITE STATE AUTOMATA SENTENCE ANALYSIS WITH ARTIFICIAL INTELLIGENCE MACHINE LEARNING USING FINITE STATE AUTOMATA Yos Merry Raditya Putra Program Studi Teknik Informatika, Unika Soegijapranata Semarang truefalseboy@gmail.com

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

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

TEORI BAHASA DAN OTOMATA [TBO]

TEORI BAHASA DAN OTOMATA [TBO] TEORI BAHASA DAN OTOMATA [TBO] Otomata (Automata) Otomata adalah mesin abstrak yang dapat mengenali (recognize), menerima (accept), atau membangkitkan (generate) sebuah kalimat dalam bahasa tertentu. Beberapa

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

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

PENYEDERHANAAN Context Free Grammar

PENYEDERHANAAN Context Free Grammar PENYEDERHANAAN Context Free Grammar Bila pada tata bahasa regular terdapat pembatasan pada ruas kanan atau hasil produksinya, maka pada tata bahasa bebas konteks/ context free grammar, selanjutnya disebut

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

ALGORITMA PEMROGRAMAN 1C SINTAKS

ALGORITMA PEMROGRAMAN 1C SINTAKS ALGORITMA PEMROGRAMAN 1C SINTAKS Indah Wahyuni PENDAHULUAN Bahasa mesin adalah bentuk terendah komputer. Kita dapat berhubungan langsung dengan bagianbagian yang ada didalam komputer seperti bits, register.

Lebih terperinci

MODUL 4: Nondeterministic Finite Automata

MODUL 4: Nondeterministic Finite Automata MODUL 4: Nondeterministic Finite Automata Slide dari 2 FA DENGAN NONDETERMINISME Disamping ini merupakan FA dari suatu bahasa regular dalam {,} * dengan ekspresi regular (+) *. p, q s, u r t Slide 2 dari

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

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

Mahasiswa memahami bahasa sebagai himpunan dan operasi 2 -nya, cara mendefinisikan bahasa, serta cara mengenali anggota 2 bahasa

Mahasiswa memahami bahasa sebagai himpunan dan operasi 2 -nya, cara mendefinisikan bahasa, serta cara mengenali anggota 2 bahasa Mahasiswa memahami bahasa sebagai himpunan dan operasi 2 -nya, cara mendefinisikan bahasa, serta cara mengenali anggota 2 bahasa JURUSAN TEKNIK INFORMATIKA FAKULTAS TEKNOLOGI INDUSTRI UNIVERSITAS ISLAM

Lebih terperinci

PERTEMUAN II. Finite State Automata (FSA) Deterministic Finite Automata (DFA) Non Deterministic Finite Automata (NFA)

PERTEMUAN II. Finite State Automata (FSA) Deterministic Finite Automata (DFA) Non Deterministic Finite Automata (NFA) PERTEMUAN II Finite State Automata (FSA) Deterministic Finite Automata (DFA) Non Deterministic Finite Automata (NFA) dadang mulyana 1 INGA.INGAT MULAI MINGGU DEPAN KULIAH TBO DIMULAI JAM 13.00 MAAF UNTUK

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

TEORI BAHASA & OTOMATA (KONSEP & NOTASI BAHASA) PERTEMUAN IX Y A N I S U G I Y A N I

TEORI BAHASA & OTOMATA (KONSEP & NOTASI BAHASA) PERTEMUAN IX Y A N I S U G I Y A N I TEORI BAHASA & OTOMATA (KONSEP & NOTASI BAHASA) PERTEMUAN IX Y A N I S U G I Y A N I Konsep dan Notasi bahasa Thn 56-59 Noam chomsky melakukan penggolongan tingkatan dalam bahasa, yaitu menjadi 4 class

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

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

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

Finite State Machine dapat berupa suatu mesin yang tidak memiliki output. Finite State Machine yang tidak mengeluarkan output ini dikenal

Finite State Machine dapat berupa suatu mesin yang tidak memiliki output. Finite State Machine yang tidak mengeluarkan output ini dikenal FINITE STATE AUTOMATA (FSA) DAN FINITE STATE MACHINE (FSM) MATERI MINGGU KE-3 Finite State Automata (FSA) Finite State Machine dapat berupa suatu mesin yang tidak memiliki output. Finite State Machine

Lebih terperinci

TEORI BAHASA DAN OTOMATA [TBO]

TEORI BAHASA DAN OTOMATA [TBO] TEORI BAHASA DAN OTOMATA [TBO] Teori Bahasa Teori bahasa membicarakan bahasa formal (formal language), terutama untuk kepentingan perancangan kompilator (compiler) danpemroses naskah (text processor).

Lebih terperinci

Tujuan perancangan bhs program

Tujuan perancangan bhs program Tujuan perancangan bhs program Komunikasi dengan manusia Pencegahan dan deteksi kesalahan Usability Efektifitas pemrograman Compilability (mengurangi kompleksitas,mis:penggunaan bracket) Efisiensi dengan

Lebih terperinci