-NFA

NFA dengan transisi

Sebuah -NFA mempunyai 5 komponen:
M = (Q, , , q0, F)
Ket: sama dengan DFA dan NFA, kecuali pada fungsi transisinya dimana NFA- memperbolehkan adanya transisi tanpa membaca simbol.

Contoh 1
q3 1 0 q0 1 q1 0 ,0 0,1 q2 q0 0 {q0} 1 {} {q1}

q1 {q1, q2} {q0, q3} {q2}

q2
q3

{q2}
{}

{q2}
{}

{}
{}

Bahasa -NFA
Suatu string w termasuk bahasa yang diterima oleh -NFA jika dan hanya jika ada sebuah jalur (path) dari q0 (state awal) menuju F (state akhir) dengan membaca w dan nol atau lebih transisi . Dari contoh 1, tentukan apakah string 01 termasuk bahasa NFA tersebut?
Jawab: ya
(q0, ) = q1 (q1, 0) = q2 (q2, 1) = q2

 -closure
-closure(q) adalah himpunan semua state yang dapat dicapai dari q dengan membaca nol atau lebih contoh: (dari NFA pada contoh 1) -closure(q0) = {q0, q1, q2} -closure(q1) = {q1, q2} -closure(q3) = {q3}

Lanj.
-closure(q1,q3) =
-closure(q1) U -closure(q3) = {q1, q2} U {q3} = {q1, q2, q3}

Konversi -NFA ke DFA

See you next week...