Non-deterministic Finite Automata (NFA)

• dari suatu state bisa terdapat 0.1 atau lebih transisi berlabel input yang sama.
• fungsi transisi = setiap pasang state-input bisa memiliki 0 (nol) atau lebih pilihan untuk state berikutnya.

δ (q0,a) = {q0,q1}

 input string 'ab' maka : δ (q0,ab) = (q1,b)

                                                   = q1  → diterima 

 input string 'ab' maka : δ (q0,ab) = (q0,b)

                                                   = q1  → diterima 

δ (q1,b) = Ø

Artikel Terkait: