1. **Nyatakan masalah:** Diberikan sebuah Non-deterministic Finite Automata (NFA) tanpa ε-move dengan 4 state: q0, q1, q2, q3, dan transisi seperti berikut: - ε-move dari q0 ke q1 - transisi 'a' dari q0 ke q1 - ε-move dari q1 ke q2 - transisi 'b' dari q2 ke q3 - transisi 'a' dari q3 ke q2 Tugas: Buat NFA dengan ε-move yang ekuivalen. 2. **Definisi dan aturan penting:** - NFA dengan ε-move memungkinkan transisi tanpa membaca simbol input. - Untuk membuat NFA dengan ε-move ekuivalen dari NFA tanpa ε-move, kita harus menambahkan ε-transisi yang sesuai agar bahasa yang diterima tetap sama. 3. **Analisis transisi yang ada:** - Dari q0 ke q1 ada ε-move dan transisi 'a'. - Dari q1 ke q2 ada ε-move. - Dari q2 ke q3 ada transisi 'b'. - Dari q3 ke q2 ada transisi 'a'. 4. **Membuat NFA dengan ε-move ekuivalen:** Karena sudah ada ε-move dari q0 ke q1 dan q1 ke q2, dan transisi lain adalah transisi biasa, maka NFA ini sudah memiliki ε-move. Namun, jika yang diminta adalah NFA dengan ε-move yang ekuivalen dari NFA tanpa ε-move, maka kita harus menghilangkan ε-move dan membuat NFA tanpa ε-move. Tapi soal meminta sebaliknya, jadi kita pastikan NFA dengan ε-move yang ekuivalen adalah NFA yang sama. 5. **Kesimpulan:** NFA dengan ε-move yang ekuivalen adalah NFA yang sama dengan transisi: - ε dari q0 ke q1 - 'a' dari q0 ke q1 - ε dari q1 ke q2 - 'b' dari q2 ke q3 - 'a' dari q3 ke q2 Ini sudah merupakan NFA dengan ε-move yang ekuivalen dengan NFA tanpa ε-move yang diberikan. **Jawaban akhir:** NFA dengan ε-move: - States: q0, q1, q2, q3 - Initial state: q0 - Final state: q2 - Transitions: - q0 \xrightarrow{\varepsilon} q1 - q0 \xrightarrow{a} q1 - q1 \xrightarrow{\varepsilon} q2 - q2 \xrightarrow{b} q3 - q3 \xrightarrow{a} q2