Non Deterministic (NFA)

    Non-Deterministic Finite Automata merupakan bagian dari FSA. Non-Deterministic Finite Automata/NFA maksudnya Dari suatu state bisa terdapat 0, 1 atau lebih busur keluar (transisi) berlabel simbol input yang sama. Contohnya :

• Q = {q0,q2} 
• ∑ = {a,b} 
• S = q0 
• F = {q2}