TBO KELOMPOK 6

Dalam teori otomata, E-move merujuk pada:

• Transisi epsilon dalam NFA

• Transisi epsilon dalam DFA

• Transisi dengan simbol a dalam NFA

• Transisi dengan simbol a dalam DFA

E-closure dari sebuah state dalam NFA adalah:

• Kumpulan semua state yang dapat dicapai melalui transisi epsilon dari state tersebut

• Kumpulan semua state yang dapat dicapai melalui transisi epsilon dan transisi dengan simbol a dari state tersebut

• Kumpulan semua state yang dapat dicapai melalui transisi dengan simbol a dari state tersebut

• Kumpulan semua state dalam NFA

Dalam NFA, E-move dapat mengarahkan ke:

• Satu state

• Tidak ada state

• Beberapa state

• Semua state dalam NFA

Dalam DFA, E-move tidak digunakan karena:

• DFA hanya memiliki transisi dengan simbol a

• DFA tidak memiliki transisi epsilon

• DFA hanya memiliki satu state

• DFA tidak dapat mengubah state

Dalam NFA, E-closure dari state q1 adalah {q1, q2}. Jika terdapat transisi a dari q2 ke q3, maka E-closure dari q3 adalah:

• {q3}

• {q1, q2, q3}

• {q2, q3}

• {q1, q3}

Diberikan NFA dengan states {q0, q1, q2, q3} dan alphabet {a, b}. Jika terdapat transisi epsilon dari q0 ke q1, transisi a dari q1 ke q2, dan transisi b dari q2 ke q3, maka E-move dari q0 adalah:

• {q1}

• {q0, q1}

• {q0, q1, q2}

• {q0, q1, q2, q3}

Dalam teori otomata, E-closure sering digunakan dalam proses:

• Transformasi NFA menjadi DFA

• Transformasi DFA menjadi NFA

• Pengurangan DFA

• Pengurangan NFA

Dalam NFA, E-move dapat digunakan untuk:

• Mengubah satu state menjadi state lain

• Mengubah DFA menjadi NFA

• Mengabaikan transisi dengan simbol a

• Mengabaikan transisi epsilon

Dalam NFA, jika E-closure dari sebuah state mengandung state akhir, maka state tersebut adalah:

• State awal

• State tengah

• State akhir

• State yang tidak valid

Dalam teori otomata, E-closure dan E-move berkaitan erat dengan konsep:

• Transisi non-deterministik

• Transisi deterministik

• Transisi dengan simbol a

• Transisi dengan simbol epsilon