Jurusan Informatika Semester Ganjil 2021/2022

Fakultas MIPA 21 Oktober 2021

Universitas Syiah Kuala Tugas 8
Dosen: Kurnia Saputra, M.Sc. Deadline: 27.10.2021 pukul 09.55 WIB

Tugas Teori Bahasa dan Automata

Semester Ganjil 2021/2022

Tugas 1 Regular Languages dan Ekuivalensi Myhill-Nerode (40 Points)

Lakukan pembuktian dengan menggunakan teori Myhill-Nerode, jika bahasa di bawah ini adalah regular
dimana 𝑛, 𝑚 ∈ ℕ0 .

(a) 𝐿1 = {𝑎𝑛 𝑏𝑚 | 𝑛 ≤ 1 ≤ 𝑚} (20 Points)

(b) 𝐿2 = {𝑎𝑛 𝑏𝑚 | 𝑛 ≠ 𝑚} (20 Points)

Tugas 2 Ekuivalensi pada Regular Language dan Minimal Automata (60 Points)

Diketahui automata DFA 𝑀1 dan 𝑀2 sebagai berikut:

𝑠1
𝑏
𝑏 𝑎, 𝑏 𝑎

𝑀1 ∶ 𝑠2 𝑠3 𝑠5
𝑎, 𝑏
𝑎
𝑎
𝑏
𝑠4
 𝑏

𝑡3 𝑡7
𝑎
𝑎 𝑏
𝑎
𝑎 𝑎 𝑏
𝑀2 ∶ 𝑡1 𝑡4 𝑡6 𝑎
𝑏
𝑎, 𝑏 𝑏 𝑏
𝑎
𝑡2 𝑡5 𝑡8

Lakukan pengecekan jika DFA di atas ekuivalen. Dua buah finite automata dikatakan ekuivalen jika
memenuhi kondisi berikut:
𝑇(𝑀1 ) = 𝑇(𝑀2 )

Langkah pertama yang harus dilakukan adalah melakukan konstruksi automata 𝑀1 dan 𝑀2 sesuai dengan
algoritma yang dijelaskan pada saat kuliah (40 Points). Kemudian tunjukkan bahwa dengan dengan
metode minimal automata apakah kedua automata tersebut ekuivalen atau tidak (20 Points).
(Catatan: Setiap langkah pembuktian harus sesuai dengan algoritma. Mengerjakan tugas tidak sesuai
dengan algortima tidak akan mendapatkan point!)

Instruksi Pengumpulan Tugas

Tugas dikumpul dengan cara diunggah ke elearning dalam format PDF paling telat hari Rabu, 27 Oktober 2021
pukul 09.55 WIB. Tugas yang dikumpul setelah tutorial dilaksanakan tidak akan diterima. Jangan lupa menulis
Nama dan NPM pada lembar jawaban. Tulisan tangan harus jelas dan mudah dibaca.