Selasa, 07 Februari 2012
0 komentar

Non Deterministik Finite Automata (NFA)



Definisi :
M = {Q, ∑, ʆ ,S,F}

Contoh:

Q ={q0,q1,q2,q3,q4}
∑ = {0,1}
S = {q0}
F = {q3,q4}

Tabel Transisi

Trace

Transisi
w1 = 11
ʆ(q0,1) = q1
ʆ(q1,1) = q4
w2 = 00
ʆ(q0,0) = q2
ʆ(q2,0) = q3
w3 = 0101
ʆ(q0,0) = q0
ʆ(q0,1) = q1
ʆ(q1,0) = 0
ʆ(q0,0) = q0
w4 = 011001
ʆ(q0,0) = q0
ʆ(q1,1) = q1
ʆ(q1,1) = q4
ʆ(q4,0) = q4
ʆ(q4,0) = q4
ʆ(q4,1) = q4
w5 = 01001011
ʆ(q0,0) = q0
ʆ(q0,1) = q0
ʆ(q0,0) = q2
ʆ(q2,0) = q3
ʆ(q3,1) = q3
ʆ(q3,0) = q3
ʆ(q3,1) = q3
ʆ(q3,1) = q3
 
Toggle Footer
Top