Turing and State Machines. Mesin Turing. Turing Machine. Turing Machines 4/14/2011 IF_UTAMA 1
|
|
- Sonny Sudirman
- 7 tahun lalu
- Tontonan:
Transkripsi
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 Machine after A. M. Turing A writing machine Finite State Machine capable of modifying its own input symbols Fundamental Theoretical Model of all digital computers 2 Turing Machine Turing Machines Tape divided into squares each contains a symbol (blank squares store a ) Head has 3 operations:. Read symbol in square being scanned 2. Write new symbol in scanned square 3. Shift tape square in either direction A Turing machine possesses the following parts:. An infinite tape, 2. A control unit, 3. A state register, 4. A control unit. 3 4 IF_UTAMA
2 4/4/2 Turing Machine (contd) Cycle of Computation Tape. Start in state S i 2. Read symbol under head 3. Write new symbol 4. Shift left/right 5. Enter new state S j Head Finite-State Control Unit 5 6 Turing Machine (contd) Turing machines [2] Status controller head Head bergeser ke kirikanan dengan kecepatan tak terbatas Head membaca/menulis data pada pita Panjang pita tak terbatas on/off switch input tape "guts" of the machine tape read head accept or reject Pita dimensi dengan panjang tak terhingga Remember our finite automaton? 7 8 IF_UTAMA 2
3 4/4/2 Turing machines [2] Turing machines [2] on/off switch input tape "guts" of the machine tape read/write head A Turing machine tape head can move left or right. tape head can read or write! accept or reject A Turing machine (tm)) is a finite automaton with a twist: The tape head can move in either direction (left OR right) A square on the input tape can be overwritten with another symbol By the way, there is no stack! 9 Turing Machine Properties Standard Turing Machine Anything a Universal Turing Machine can do, a digital computer can do Anything a Universal Turing Machine cannot do, a digital computer cannot do Emulation A Universal Turing Machine can mimic or emulate the behavior of any other Turing Machine (and therefore, so can a computer) Halting Problem A Universal Turing Machine (and therefore a computer) cannot predict when the computation of another Turing Machine will complete, and when it will not M = (Q,, Γ, δ, q, B, F) Q: finite set of internal states Γ: finite set of symbols - tape alphabet B Γ: blank Γ {B}: finite set of symbols - input alphabet δ: Q Γ Q Γ {L, R} transition function q Q: initial state F Q: set of final states 2 IF_UTAMA 3
4 4/4/2 Standard Turing Machine Turing Machine Example δ: Q Γ Q Γ {L, R} current symbol replacing symbol Example δ(q, a) = (q, d, R) current symbol replacing symbol head move direction head move to the right 3 Present State A B C D Halt ^A ^A Next State, Write, Shift -- B,, R C,, R B,, R D,, L Halt A,, R D,, L Halt Halt ^C ^C ^C 4 Model Fisik Mesin Turing Definisi Formal [3]. Pita dapat bergerak dua arah. 2. Sebelum masuk ke dalam mesin, pita harus sudah berisi input. 3. Jendela C menunjukkan simbol yang sedang dibaca oleh head. 4. Selain dapat membaca, head juga dapat menulis. 5. Jendela Q menunjukkan status mesin setiap saat. 6. Pada saat awal, head pada sel pertama dan dalam status awal. 7. Berdasarkan simbol yang sedang terbaca dan statusnya, mesin dapat menuliskan simbol atau menggerakkan head ke kiri atau ke kanan. 8. Mesin berhenti bekerja jika berada pada status berhenti (halt state). 9. Mesin dikatakan berhenti secara tak wajar (abnormal termination) jika terjadi dua kondisi berikut : Head diminta bergerak ke kiri namun head sedang berada di sel pertama. Tidak ada aturan transisi yang dapat diterapkan q 5 C Q 5 6 IF_UTAMA 4
5 4/4/2 Contoh [3] 7 8 Studi Kasus Bagaimana untuk string aabba, abba, abab? Buktikan!!! 9 2 IF_UTAMA 5
6 4/4/2 Tidak ada transisi lagi dari state q4, mesin Turing berhenti dan karena state q4 termasuk state akhir, maka input tersebut diterima Deskripsi sesaat [3] Cara Mengkonstruksi Mesin Turing [4]. Buat skenario kerja mesin turing. 2. Identifikasi status-status mesin (Q). 3. Identifikasi Γ. 4. Terjemahkan skenario kerja ke dalam aturan transisi. Studi Kasus Bagaimana untuk string,,? Buktikan!!! IF_UTAMA 6
7 4/4/2 Contoh Konstruksi Mesin Turing [4] Contoh Konstruksi Mesin Turing [4] Buat mesin turing yang mengenali bahasa L = { n n n =, 2, 3, } Langkah : Buat Skenario Kerja Mesin Turing Jika pada saat awal, head membaca, maka tuliskan X, cari ke kanan. Jika sedang mencari ke kanan, head membaca, maka cari ke kanan. Jika sedang mencari ke kanan, head membaca, maka tuliskan Y, cari X ke kiri. Jika sedang mencari ke kanan, head membaca Y, maka cari ke kanan Jika sedang mencari X ke kiri, head membaca, maka cari X ke kiri. Jika sedang mencari X ke kiri, head membaca Y, maka cari X ke kiri. Jika sedang mencari X ke kiri, head membaca X, maka head bergerak ke kanan, kembali ke saat awal. Jika pada saat awal, head membaca Y, maka cari β ke kanan. Jika sedang mencari β ke kanan, head membaca Y, cari β ke kanan. Jika sedang mencari β ke kanan, head membaca β, maka tuliskan β dan berhenti. 25 Langkah 2 : Identifikasi Q p = saat awal. q = sedang mencari ke kanan. r = sedang mencari X ke kiri. s = sedang mencari β ke kanan. t = berhenti. Langkah 3 : Identifikasi Γ Γ = {,, X, Y, β}. Langkah 4 : Buat δ Jika pada saat awal, head membaca, maka tulis X, cari ke kanan : δ(p, ) = (q, X), dan δ(q, X) = (q, R) Jika sedang mencari ke kanan, head membaca, maka cari ke kanan : δ(q, ) = (q, R) Jika sedang mencari ke kanan, head membaca, maka tuliskan Y, cari X ke kiri : δ(q, ) = (r, Y), dan δ(r, Y) = (r, L) Jika sedang mencari ke kanan, head membaca Y, maka cari ke kanan : δ(q, Y) = (q, R) Jika sedang mencari X ke kiri, head membaca, maka cari X ke kiri : δ(r, ) = (r, L) 26 Contoh Konstruksi Mesin Turing [4] Studi Kasus Jika sedang mencari X ke kiri, head membaca Y, maka cari X ke kiri : δ(r, Y) = (r, L) Jika sedang mencari X ke kiri, head membaca X, maka head bergerak ke kanan, kembali ke saat awal : δ(r, X) = (p, R) Jika pada saat awal, head membaca Y, maka cari β ke kanan δ(p, Y) = (s, R) Jika sedang mencari β ke kanan, head membaca Y, maka cari β ke kanan : δ(s, Y) = (s, R) Jika sedang mencari β ke kanan, head membaca β, maka tuliskan β dan berhenti : δ(s, β) = (t, β). Sederhanakan transisi pada mesin turing yang mengenali bahasa L = { n n n =, 2, 3, } di atas dalam bentuk tabel transisi 2. Berdasarkan mesin turing pada nomor buktikan apakah string berikut ini diterima atau ditolak a. b. 3. Buat Mesin Turing yang mengenali bahasa L = { n n n =, 2, 3, } 4. Buat Mesin Turing yang mengenali bahasa L = { n 2n n =, 2, 3, } IF_UTAMA 7
8 4/4/2 Referensi. Zvi Kohavi, Switching and Finite Automata Theory, McGraw-Hill, uring%2machines.ppt, Tanggal Akses : 25 April Bahasa-Kompilasi/Bahasa-Kompilasi.pdf, Tanggal Akses 4 Januari Roni Djuliawan, M.T., Diktat & Handout Kuliah Teori Bahasa & Otomata, Teknik Informatika Universitas Widyatama, IF_UTAMA 8
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 terperinciFINITE 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 terperinciPendahuluan. 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 terperinciTEORI 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 terperinciPendahuluan [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 terperinciPenggunaan Mesin Turing Multitrack untuk Operasi Bilangan Biner
Penggunaan Mesin Turing Multitrack untuk Operasi Bilangan Biner Hairil Anwar / 23514034 Program Magister Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung
Lebih terperinciMesin 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 terperinciTEORI 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 terperinciIF-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 terperinciTEORI 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 terperinciTeori 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 terperinciKOMPUTASI PEMROGRAMAN
KOMPUTASI PEMROGRAMAN Danang Wahyu Utomo danang.wu@dsn.dinus.ac.id +6285 740 955 623 RENCANA KEGIATAN PERKULIAHAN SEMESTER W Pokok Bahasan 1 Pengenalan Teknologi Informasi 2 Konsep Sistem Komputer & Pengenalan
Lebih terperinciMODUL 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 terperinciOverview. 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 terperinciTeori 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 terperinciEkspresi 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 terperinci3. MesinTuring (Bagian3)
IF5110 Teori Komputasi 3. MesinTuring (Bagian3) Oleh: Rinaldi Munir Program Studi Magister Informatika STEI-ITB 1 Credit Title Semua bahan pada power point ini bersumberkan dari: Hans Dulimarta, Catatan
Lebih terperinciPengenalan 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 terperinciFINITE 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 terperinciLecture 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 terperinciTEORI 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 terperinciTeori 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 terperinciIF5110 Teori Komputasi. Teori Kompleksitas. (Bagian 1) Oleh: Rinaldi Munir. Program Studi Magister Informatika STEI-ITB
IF5110 Teori Komputasi Teori Kompleksitas (Bagian 1) Oleh: Rinaldi Munir Program Studi Magister Informatika STEI-ITB 1 Sebuah persoalan dikatakan Solvable, jika terdapat mesin Turing yang dapat menyelesaikannya.
Lebih terperinciDeterministic 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 terperinciSATUAN 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 terperinciPENDAHULUAN. 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 terperinciIF-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 terperinciPENDEKATAN 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 terperinciReduksi 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 terperinciNonDeterministic 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 terperinciSumarni 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 terperinciBAB 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 terperincisebuah review singkat terhadap emulasi CeLlular Automata pada mesin turing
142 sebuah review singkat terhadap emulasi CeLlular Automata pada mesin turing Hernawan Sulistyanto 1, Reza Pulungan 2 1 Program Studi Teknik Infomatika, Fak. Komunikasi dan Informatika, Universitas Muhammadiyah
Lebih terperinciTata 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 terperinciNon-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 terperinciBAB 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 terperinciTeori 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 terperinciBAHASA 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 terperinciNon-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 terperinci2. 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 terperinciPenerapan 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 terperinciMODUL 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 terperinciPengaruh 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 terperinciTEORI 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 terperinciBAB 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 terperinciTEORI 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 terperinciTeori 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 terperinciFIRDAUS 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 terperinciNama Soal Pembagian Ring Road Batas Waktu 1 detik Nama Berkas Ringroad[1..10].out Batas Memori 32 MB Tipe [output only] Sumber Brian Marshal
Nama Soal Pembagian Ring Road Batas Waktu 1 detik Nama Berkas Ringroad[1..10].out Batas Memori 32 MB Tipe [output only] Sumber Brian Marshal Deskripsi Soal Dalam rangka mensukseskan program Visit Indonesia,
Lebih terperinciMesin Mealy. Bahasan Kuliah. TKC305 - Sistem Digital Lanjut. Eko Didik Widianto. Sistem Komputer - Fakultas Teknik Universitas Diponegoro
TKC305 - Sistem Digital Lanjut Eko Didik Sistem Komputer - Fakultas Teknik Universitas Diponegoro Bahasan Kuliah Model Mealy Model rangkaian sekuensial sinkron Keluaran rangkaian tergantung dari nilai
Lebih terperinciDFA. 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 terperinciTUGAS MAKALAH TEORI BAHASA & AUTOMATA
TUGAS MAKALAH TEORI BAHASA & AUTOMATA Anggota Kelompok : 1. Aedy Suciawan (50407040) 2. Afrista Reolny W (50407042) 3. Arnoldus Billy Jansen (50407161) 4. Endah Nurhayati (50407318) 5. Danang Panji P (50407227)
Lebih terperinciSistem Komputer. Suprayogi,M.Kom Fakultas Ilmu Komputer UDINUS
Sistem Komputer Suprayogi,M.Kom Fakultas Ilmu Komputer UDINUS Hardware & Software Hardware Perangkat/komponen-komponen fisik yang saling bekerja sama dalam membentuk komputer. Software Perangkat lunak/program
Lebih terperinciEKSPRESI 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 terperinciPEMODELAN 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 terperinciLAPORAN PENDAHULUAN PRAKTIKUM SISTEM DIGITAL MODUL II RANGKAIAN SEQUENTIAL
LAPORAN PENDAHULUAN PRAKTIKUM SISTEM DIGITAL MODUL II RANGKAIAN SEQUENTIAL LABORATORIUM ARSITEKTUR DAN JARINGAN KOMPUTER JURUSAN TEKNIK INFORMATIKA FAKULTAS TEKNOLOGI INFORMASI INSTITUT TEKNOLOGI SEPULUH
Lebih terperinciIKI20210 Pengantar Organisasi Komputer Kuliah no. 1b: Basic Operations
IKI20210 Pengantar Organisasi Komputer Kuliah no. 1b: Basic Operations 6 September 2002 Bobby Nazief (nazief@cs.ui.ac.id) Johny Moningka (moningka@cs.ui.ac.id) bahan kuliah: http://www.cs.ui.ac.id/~iki20210/
Lebih terperinciMesin Turing dan Palindrome
Mesin Turing dan Palindrome Fajar Sidik H and 23513186 Program MagisterInformatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132, Indonesia fajar.sidik@students.itb.ac.id
Lebih terperinciBAB 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 terperinciSENTENCE 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 terperinciALGORITMA PEMROGRAMAN 1A** (PP :S1-KA) Pertemuan 3
ALGORITMA PEMROGRAMAN 1A** (PP-011302:S1-KA) Pertemuan 3 Ahmad hidayat PROGRAMMING ALGORITHM 1A**, Part 3 Analisis Masalah dan Penyelesaian (Problem Analysis and Resolution) Kaidah-kaidah pembuatan flowchart
Lebih terperinciPertemuan Ke-7 INSTRUCTION SET
Pertemuan Ke-7 INSTRUCTION SET A. What is an instruction set? The complete collection of instructions that are understood by a CPU Machine Code Binary Usually represented by assembly codes B. Komponents
Lebih terperinciTeori 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 terperinciStudi Kasus Implementasi Konsep Mesin Turing dalam Analisis Potensi Profiling Based Keyword di Sistem Sasbuzz
Studi Kasus Implementasi Konsep Mesin Turing dalam Analisis Potensi Profiling Based Keyword di Sistem Sasbuzz Rizal Panji Islami (23514016) Program MagisterInformatika Sekolah Teknik Elektro dan Informatika
Lebih terperinciTeknik Kompiler 5. oleh: antonius rachmat c, s.kom, m.cs
Teknik Kompiler 5 oleh: antonius rachmat c, s.kom, m.cs TATA BAHASA Tata bahasa / Grammar dalam OTOMATA adalah kumpulan dari himpunan variabel (non-terminal), simbol-simbol awal dan terminal yang dibatasi
Lebih terperinciTanggal 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 terperinci1, 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 terperinciTEORI 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 terperinciTIF APPLIED MATH 1 (MATEMATIKA TERAPAN 1) Week 3 SET THEORY (Continued)
TIF 21101 APPLIED MATH 1 (MATEMATIKA TERAPAN 1) Week 3 SET THEORY (Continued) OBJECTIVES: 1. Subset and superset relation 2. Cardinality & Power of Set 3. Algebra Law of Sets 4. Inclusion 5. Cartesian
Lebih terperinciTEORI 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 terperinciBAB 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 terperinciTeori 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 terperinciABSTRAK. Kata kunci: Arduino, Switch, Access Point, LED, LCD, Buzzer, . i Universitas Kristen Maranatha
ABSTRAK Dewasa ini komputer menjadi hal yang umum dalam dunia teknologi dan informasi. Komputer berkembang sangat pesat dan hampir seluruh aspek kehidupan manusia membutuhkan teknologi ini. Hal tersebut
Lebih terperinciPengantar Teknologi Informasi
Pengantar Teknologi Informasi Komputasi & Pemrograman Defri Kurniawan, M.Kom Fasilkom 11/24/2013 Content Teori Komputasi Mesin Turing Komputasi Komputasi Modern Teori Komputasi Teori komputasi adalah cabang
Lebih terperinciPENGANTAR OTOMATA DAN KOMPILASI
PERTEMUAN I PENGANTAR OTOMATA DAN KOMPILASI Mahasiswa mengetahui tujuan mata kuliah, alur perkuliahan selama 1 semester, referensi yang digunakan, bentuk & bobot evaluasi JURUSAN TEKNIK INFORMATIKA FAKULTAS
Lebih terperinciPERANCANGAN DAN REALISASI PENALA GITAR OTOMATIS MENGGUNAKAN PENGONTROL MIKRO AVR ATMEGA16. Disusun Oleh : Nama : Togar Hugo Murdani Nrp :
PERANCANGAN DAN REALISASI PENALA GITAR OTOMATIS MENGGUNAKAN PENGONTROL MIKRO AVR ATMEGA16 Disusun Oleh : Nama : Togar Hugo Murdani Nrp : 0422023 Jurusan Teknik Elektro, Fakultas Teknik,, Jl. Prof.Drg.Suria
Lebih terperinciArsitektur Komputer. Pertemuan ke-2 - Aritmatika Komputer >>> Sistem bilangan & Format Data - Perkembangan Perangkat Keras Komputer
Arsitektur Komputer Pertemuan ke-2 - Aritmatika Komputer >>> Sistem bilangan & Format Data - Perkembangan Perangkat Keras Komputer ARITMATIKA KOMPUTER Materi : Englander, bab 2 dan 3 Stallings, bab 8 IEEE
Lebih terperinciPenerapan 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 terperinciTEORI 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 terperinciINTELLIGENT DECISION SUPPORT SYSTEM DALAM MENDETEKSI BEHAVIOUR SIRKUIT LOGIKA
INTELLIGENT DECISION SUPPORT SYSTEM DALAM MENDETEKSI BEHAVIOUR SIRKUIT LOGIKA Wiwin Suwarningsih Pusat Penelitian Informatika LIPI Jl. Sangkuriang No.21/154D ( komplek LIPI) Cisitu Bandung 40135, Indonesia
Lebih terperinciBahasa 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 terperinciOutline. Struktur Data & Algoritme (Data Structures & Algorithms) Pengantar. Definisi. 2-3 Trees
Struktur Data & Algoritme (Data Structures & Algorithms) 2-3 Trees Outline Pengantar Definisi 2-3 Tree Operasi: Search Insert Delete (a,b)-tree Denny (denny@cs.ui.ac.id) Suryana Setiawan (setiawan@cs.ui.ac.id)
Lebih terperinciABSTRAK. Kata Kunci : Robot Line Follower
ABSTRAK Robot diharapkan dapat memberikan kemajuan pada dunia industri. Fungsi utamanya adalah membantu kegiatan produksi menjadi efektif dan efisien. Manusia tidak dapat bekerja tanpa berhenti dalam 24
Lebih terperinciPenerapan 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 terperinciFTIK / 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 terperinciSebuah 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 terperinciPENERAPAN 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 terperinciTujuan Instruksional Umum : Mahasiswa dapat memahami Komputer baik arti maupun penggunaannya
1 B A B 1 PENGENALAN KOMPUTER Tujuan Instruksional Umum : Mahasiswa dapat memahami Komputer baik arti maupun penggunaannya Tujuan Instruksional Khusus : 1. Mahasiswa dapat menjelaskan istilah-istilah yang
Lebih terperinciTeori 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 terperinciABSTRAK. Keyword : Game, Endless Runner, Unity.
ABSTRAK Game ber-genre endless runner dapat didefinisikan oleh dua hal yaitu karakter pemain yang tidak dapat berhenti atau maju terus ke depan. Pengaturan game yang sederhana, hanya berfokus terhadap
Lebih terperinciTopi Anda akan membutuhkan untuk melakukan langkah-langkah ini adalah 1. A Windows 98 CD 2. A Komputer dengan CD-ROM akses
Topi Anda akan membutuhkan untuk melakukan langkah-langkah ini adalah 1. A Windows 98 CD 2. A Komputer dengan CD-ROM akses Untuk mulai menginstal Windows ini. Pertama, cek apakah perangkat boot pertama
Lebih terperinciGrammar 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 terperinciLecture 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 terperinciContents.
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 terperinciImplementasi Pemrograman Dinamis dalam Pencarian Solusi Permainan Menara Hanoi
Implementasi Pemrograman Dinamis dalam Pencarian Solusi Permainan Menara Hanoi Jonathan Ery Pradana / 13508007 Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi
Lebih terperinciNiklaus Wirth Eidgenossische Technische Hochschule Zurich, Switzerland ALGORITMA adalah langkah-langkah yang diambil dalam menyelesaikan suatu tugas Diselesaikan Oleh KOMPUTER Langkah-langkah harus tersusun
Lebih terperincidisebut ternary operator. Di dalam suatu operasi dapat terdapat banyak operator. Urutan eksekusi dari operatoroperator
OPERATOR Operator digunakan untuk menyatakan suatu perhitungan/operasi. Operator yang digunakan untuk operasi yang melibatkan satu operand disebut unary operator. Jika melibatkan dua operand maka disebut
Lebih terperinciPENELITIAN OPERASIONAL I (TIN 4109)
PENELITIAN OPERASIONAL I (TIN 4109) Lecture 4 LINEAR PROGRAMMING Lecture 4 Outline: Simplex Method References: Frederick Hillier and Gerald J. Lieberman. Introduction to Operations Research. 7th ed. The
Lebih terperinciPERTEMUAN 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 terperinciADDING RTGS BENEFICIARY FOR CHECKER MAKER SYSTEM
ADDING RTGS BENEFICIARY FOR CHECKER MAKER SYSTEM Jika anda menggunakan checker maker maka akan ada satu petugas maker yang akan membuat data entry dan satu petugas checker yang akan melakukan autorisasi
Lebih terperinci