1. Nondeterministic finite automata (NFA) mempunyai fungsi transisi yang menetapkan nol atau lebih state untuk sebuah simbol  input.
2. NFA menerima string jika hasil akhir penelusuran string berakhir di salah satu final state.
3. NFA menerima string jika hasil akhir penelusuran string berakhir di salah satu final state.

Untuk materi lebih lanjut dapat dilihat di video di bawah ini