Pertemuan 9
Ekuivalensi ε-NFA ke NFA tanpa ε-Move
Pretest
- Kenapa ε-move perlu dieliminasi pada beberapa proses analisis?
- Apa fungsi ε-closure dalam eliminasi ε?
- Bagaimana menentukan state accepting setelah eliminasi ε?
Modul (Ringkasan Materi)
Eliminasi ε-move bertujuan membentuk NFA ekuivalen yang tidak memiliki transisi ε. Konsep kunci: ε-closure.
- Hitung ε-closure(q) untuk setiap state q.
- Untuk setiap state q dan simbol a, buat transisi baru:
δ'(q,a) = ε-closure( move( ε-closure(q), a ) ) - State awal tetap q0 (atau bisa memakai ε-closure(q0) sebagai kondisi awal proses).
- State accepting baru: state q yang ε-closure(q) memuat accepting state lama.
Posttest
- Jelaskan konsep “closure → move → closure” dengan singkat.
- Apa yang terjadi jika ε-closure(q) memiliki lebih dari satu state?
- Bagaimana menentukan accepting states hasil eliminasi ε?
Tugas
- Buat ε-NFA sederhana, lalu eliminasi ε-move dan tuliskan tabel transisi NFA hasilnya.
Referensi
- Rachmatika, Rinna, S.Kom., M.Kom. Modul Teori Bahasa dan Automata. Universitas Pamulang.