NAMA : GABRIELLA ANTAMENG

NRI
: 110216011
Pengertian Non-Determinaistic Finite Automata
Non-deterministik finite automata (NFA) bersifat non-deterministik, yang berarti
bahwa automata tersebut dapat berada di beberapa state pada saat yang bersamaan
atau dengan kata lain NFA dapat menebak di state mana dia berikutnya akan
berada (Hopcroft et al., 2007).Pada Non-Determinaistic Finite Automata (NFA)
dari suatu state bisa terdapat 0,1, atau lebih busur keluar (transisi) berlabel simbol
input yang sama. Non-Determinaistic Finite Automata didefenisikan pula dengan
lima(5) M=(Q , , , S , F )dengan arti yang serupa pada Deterministic Fnite
Automata. Disini perbedaan ada pada fungsi transisinya, dimana untuk setiap
pasangan state-input, kita bisa memiliki 0 (nol) atau lebih pilihan untuk state
berikutnya.
Nondeterministic Finite Automata (NFA) didefenisikan sebagai M yang
merupakan sebuah koleksi dari 5 obyek (Q , , s , F , ) dimana :
1. Q adalah sebuah himpunan hingga dari kedudukan-kedudukan.
2. adalah sebuah abjad masukan.
3. s adalah salah satu kedudukan di dalam Q yang ditetapkan sebagai
kedudukan permulaan.
4. F adalah sebuah koleksi dari kedudukan-kedudukan yang diterima
atau final (koleksi / himpunan dari kondisi akhir).
5. adalah sebuah relasi pada (Q x ) x Q dan dinamakan relasi
transisi.
(Kelley, 1995: 46).

NAMA : GABRIELLA ANTAMENG

NRI
: 110216011
Contoh soal :

Pada NFA diatas terdapat dua busur keluar berlabel input a. Dari state q0bila
mendapat input a bisa berpindah ke state q0 atau q1 yang secara formal
dinyatakan :
d (q0, a) = {q0, q1}

Konfigurasi NFA secara formal adalah sebagai berikut :

Q = {q0, q1 }
S = {a, b}
S = q0
F = {q1}

Fungsi-fungsi transisinya sebagai berikut :

d (q0, a) = {q0,q1},
d (q0, b) = q1,

NAMA : GABRIELLA ANTAMENG

NRI
: 110216011
d (q1, a) = q1,
d (q1, b) = q1,
Jika disajikan dalam tabel transisi :
d

q0

{q0,q1}

{q1}

q1

{q1}

{q1}

* Perhatikan : Dalam cara penulisan state hasil transisi pada tabel transisi untuk
NFA, digunakan kurung kurawal { dan }karena hasil transisisnya merupakan
suatu himpunan state.
* Pada bagian ini dapat dilihat NFA dengan lebih dari satu pilihan state
berikutnya.