TEORI BAHASA DAN OTOMATA Pertemuan 3 Dosen : Tri Ari Cahyono, S.Kom, M.

Kom -----------------------------------------------------------------------------NON DETERMINISTIC FINITE AUTOMATA (NFA) Aturan NFA adalah dari suatu state ada 0, 1 atau lebih state berikutnya untuk setiap simbol masukan yang diterima Bentuk gambar mesin NFA : Lingkaran menyatakan state/kedudukan Label pada lingkaran menyatakan nama state tersebut Busur menyatakan transisi Label pada busur menyatakan simbol input Lingkaran didahului sebuah busur tanpa label menyatakan state awal Lingkaran ganda menyatakan state akhir NFA dinyatakan oleh 5 tuple : M=(Q , , , S , F ) Keterangan : Q = himpunan state = himpunan simbol input = fungsi transisi : Q S = state awal (S Q) F = state akhir (F Q) Contoh Soal 1 : Diketahui : Q = {q0,q1} = {a,b} S = q0 F = {q1} Fungsi Transisi (q0,a) = {q0,q1} (q0,b) = {q1} (q1,a) = {q1} (q1,b) = {q1} Ditanya : a. Tabel transisi ? b. Gambar mesin NFA?

Tabel Transisi a q0 {q0,q1} q1 {q1} Gambar mesin NFA

b {q1} {q1}

a,b

a,b q0

q1

a Contoh Soal 2 : Diketahui : Q = {q0,q1} = {a,b} S = q0 F = {q1} Fungsi Transisi (q0,a) = {q1} (q0,b) = {q0} (q1,a) = {q0} (q1,b) = Ditanya : a. Tabel transisi ? b. Gambar mesin NFA? Tabel Transisi a b q0 {q1} {q0} q1 {q0}

Gambar mesin NFA a q0

q1

Soal 1 Gambarkan diagram transisi dari NFA berikut : Q ={q0,q1,q2,q3,q4} = {0,1} S = q0 F = {q2,q4} Tabel Transisi : q0 q1 q2 q3 q4 0 {q0,q3} {q2} {q4} {q4} 1 {q0,q1} {q2} {q2} {q4}

Soal 2 Gambarkan diagram transisi dari NFA berikut : Q ={q0,q1 } = {0,1} S = q0 F = {q1} Tabel Transisi : q0 0 {q0,q1} 1 {q1}

q1

{q0,q1}

Soal 3 Gambarkan tabel transisi dari NFA berikut :

a q0

q1

Soal 4 Gambarkan tabel transisi dari NFA berikut :

a,c q0 b a,b

q3

a,c b q1 c q2