Smt/Kelas : 3/C3
Nim : 222102540
Bahasa bebas konteks (context-free language) adalah jenis bahasa formal dalam teori bahasa dan
otomata. Sebuah bahasa dikatakan bebas konteks jika tata bahasa atau struktur sintaktiknya dapat
dijelaskan menggunakan aturan produksi yang bersifat konteks bebas. Artinya, struktur gramatikal
suatu kalimat atau frasa tidak tergantung pada konteks atau posisinya dalam kalimat. Context-free
language dapat diakui oleh mesin Turing dan juga dapat dihasilkan oleh mesin Turing.
Simbol "ε" (epsilon) dalam konteks produksi pada bahasa bebas konteks mewakili string kosong atau
produksi nol. Dengan kata lain, jika suatu simbol dalam bahasa bebas konteks dapat menghasilkan
string kosong, simbol itu akan direpresentasikan oleh ε.
Chomsky Normal Form (CNF) adalah bentuk normal tertentu yang digunakan untuk
merepresentasikan produksi dalam konteks bahasa bebas konteks. Dalam CNF, setiap produksi
memiliki bentuk A → BC atau A → a, di mana A, B, dan C adalah simbol non-terminal, dan a adalah
simbol terminal. CNF penting karena banyak algoritma dan analisis lebih mudah dilakukan pada
bahasa bebas konteks dalam bentuk normal ini.
Tata Bahasa Konteks Bebas: Struktur gramatikal tidak bergantung pada konteks.
Dapat Diakui oleh Mesin Turing: Bahasa bebas konteks dapat diakui dan diterima oleh mesin Turing.
Representasi dengan Aturan Produksi: Bahasa ini dapat direpresentasikan oleh aturan produksi yang
terdiri dari simbol non-terminal dan terminal.
5. Mesin Turing:
Mesin Turing adalah model teoritis komputasi yang diusulkan oleh Alan Turing. Ini terdiri dari pita tak
terbatas yang dibagi menjadi sel-sel, kepala pembaca/penggerak, dan unit kontrol. Mesin Turing
dapat membaca dan menulis simbol pada pita, bergerak ke kiri atau ke kanan, dan berubah ke
keadaan baru berdasarkan instruksi dari unit kontrol.
Tape Head (Kepala Pita): Membaca dan menulis simbol pada pita serta bergerak ke kiri atau ke
kanan.
Unit Kontrol: Mengatur operasi mesin berdasarkan keadaan dan simbol yang dibaca.
Tape Head (Kepala Pita) adalah komponen mesin Turing yang bertanggung jawab untuk membaca
dan menulis simbol pada pita. Itu juga dapat bergerak ke kiri atau ke kanan pada pita. Kemampuan
Tape Head untuk berinteraksi dengan simbol-simbol pada pita adalah apa yang memungkinkan mesin
Turing untuk melakukan operasi komputasi.