REVIEW VIDEO

TEORI BAHASA DAN OTOMATA

NAMA : MUHAMMAD IRFAN NUR

NIM : 1829044006

DOSEN PENGAMPUH :

MUHAMMAD SABIRIN HADIS, S.PD, M.T.

PENDIDIKAN TEKNIK INFORMATIKA DAN KOMPUTER

JURUSAN PENDIDIKAN TEKNIK ELEKTRO

FAKULTAS TEKNIK

UNIVERSITAS NEGERI MAKASSAR

2019
1. Pendahuluan
Pada video ini membahas tentang apa yang dimaksud dengan Decidability
dan Undecidability, yang merupakan lanjutan dari materi-materi sebelumnya
terutama Mesin Turning, pada materi ini diharapkan bahwa penonton sudah
mengerti apa itu Mesin Turning dan bagaimana cara kerjanya.

2. Pembahasan
Pada video ini sebelum kita mengetahui apa itu Decidability dan
Undecidability, terlebih dahulu kita peru memahami tentang apa yang
dimaksud dengan Recrusive Language dan Recrusively Enumerable
Language.
a. Recrusive Language (REC) / Bahasa Rekrusif:
 Bahasa ‘L’ dikatakan rekursif (REC) jika ada mesin Turing yang akan
menerima semua string di ‘L’ dan menolak semua string yang tidak
ada di ‘L’.
 Mesin Turing akan berhenti setiap waktu dan memberikan jawaban
(diterima atau ditolak) untuk tiap-tiap input string.

b. Recrusively Enumerable Language (RE) / Bahasa yang secara berulang

ditentukan :
 Bahasa 'L' dikatakan sebagai bahasa enumerasi rekursif (RE) jika ada
mesin Turing yang akan menerima untuk semua string input yang ada
di 'L'.
 Tetapi mungkin atau tidak mungkin untuk berhenti pada semua string
input yang bukan dalam 'L'.
 Sekarang setelah kita memahami mengenai definisi dari kedua hal diatas
sekarang kita dapat mendefinisikan apa yang dimaksud dengan Decidability
dan Undecidability.

a. Decidability Language (DE) / Bahasa yang dapat ditentukan :

Suatu bahasa ‘L’ dapat ditentukan (DE) jika itu adalah bahasa yang
recrusif (REC). semua bahasa yang dapat ditentukan (DE) adalah bahasa
yang dapat diterima dan sebaliknya.

b. Partially Decidable Language (PD) / Bahasa yang sebagian dapat

ditentukan :
Suatu bahasa ‘L’ sebagian dapat ditentukan (PD) jika ‘L’ adalah bahasa
yang secara berulang ditentukan (RE).

c. Undecidable Language (UD) / Bahasa yang tidak dapat ditentukan :

 Suatu Bahasa dikatakan tidak dapat di tentukan apabila bahasa
tersebut tidak dapat ditentukan (DE).
 Bahasa yang tidak dapat ditentukan terkadang memungkinkan untuk
dapat ditentukan sebagian (PD) akan tetapi tidak dapat ditentukan
seutuhnya (DE).
 Apabila Bahasa bahkan tidak dapat ditentukan sebagian (PD), maka
tidak terdapat Mesin Turning pada bahasa tersebut.

3. Kesimpulan
a. Decidable Language, adalah sebuah bahasa yang dapat ditentukan secara
utuh dan jelas, apakah mesin turning menerima atau menolak sebuah
masukan.
 b. Undecidable Language, adalah sebuah bahasa yang tidak dapat ditentukan
secara utuh dan bahkan tidak dapat ditentukan sama sekali, apakah mesin
turning menerima atau menolak sebuah masukan begitupula apakah
terdapat mesin turning untuk bahasa tersebut ataukah tidak..

4. Sumber Referensi
 https://www.geeksforgeeks.org/theory-of-computation-decidability/
 https://www.youtube.com/watch?v=JfX7VK7ocRU&list=WL&index=45&t=8
0s