A-25 Paga No.

TO Astigpmert-5 Dat

Define NFA orth example..

t H stands 1or non-deter ministic trT aUtomccla.
h e tinite automata dre called NEA wber
ther cxist many partbs for spccitic inpc
ronthe curent state fo the nent stet
Every NFA is _not DEA bct can be ranslated._

Example
b

-We can see that fiom state 9 1or

input a there are 2 Dext states

Simlal tom 20for input bthe bet state

are 2 q 1 Tbus it is nat fixedt h e
with a particular input were to go next
Hente this FA is called NFA

Detioe extended ]ransition tunctioD tor NFA

with example
Theextended transitiontunction of a NFA s 1he
Hunction $" : S x* 2 detined as fo]locori
for all s 6S, for all a é~ for cel e2*
S" (5,E) =
fs
S (S, a) =
U SCP.a)
PeS (5,)
 Page No.
Date

SCg,a) S(b)
f,2
2
13 133
3 4 4
5

a Dra a transition di agram

b Calculate $ (,ab)
Calcalats S* ( , abaab)
a,b_

2 3 4
b S* (,ab)
S*(1,ab) =U S Cx,b)
TS*C)a)

s*(,a) =U SCya)
S"CL

S,a) = S(1,a) = f1,23

- S*(A)
SC,0b) =U SCE,2,b)
S"Ci,a)
S(b) U_S 2.)
31
Trans ition stops at 3 So sting ab is not
aiegted
 Pege No.
Date

c S , abaab)
( , abaab) =U S(r,b)
s 1,abaa
Y S"CI, abaa)
S (1,abaa) U S(Y,a)
S*C1, aba)
S*(1, aba) =U S(T,a_
TS (I,ab)
S" (1, ab) = U_ SCV,b)
TS 1,a)
SY,
-S*C, n)
Y=S*CL) = f1
S* (1,a) = T SMCI,)
S(,a) S (1,a) = I,2 S
S*CLab) =U_ S(0, b)=_S(EL23, b)
Y S^C1,4)
SCb) U SC2.
.3
S*(1, aba) =U S(,a) =S(S1,32,a 11
r- SC ab

S * L abaa) = U
S(T,a) = S(L2,4,a
S,abo)

, 2, 35
SC, aboab) =
S() = S({1,2351,b
=SM(, abat) $Cb0 S 2,65DS(S
he last stateis 5 US (3
Hent e stins atceptte. 3.475
 Pay No.
Data

4 ) A transiion table is qiven 1oI another N A with 7stt,

shecle
S Cq,a)S (.b) S(a,A)
2

3
S2
5

is
Cal calate S*Cba)

S*C ba) = SC, a

S*Ci, b)
SC = U S bJ
S CI,A)
= S (LA) = 1
S* ( = U SCb) S (1LbS =
S* C,A)
As whle Procecin b iaom, as we qet pull
ho transiBjon tekes plale
Strinqba is not arcepted.
 PageNo.
Date

S)Vsinq the stbset construchion,draw an FA atuepthy

the sumeTanquc
a
ab

S 13,a)
S 2,a)
S{1,2,b) fL3
S L3,a) 1,23
S L3jb)

ab asb
a b

S CE1 2
S 121,a) 1,23
5 (23,b) 1,3
S 33,) ,2,3jL
S.33.b) L3
S12,33.) 2,3
SCf,2,33 ,b) 3
b

b 23
 Paye No.
Data

a,b
b

b
a

SC',) f,23
s ({y.b)
S (23,a) 2,3
S (2,b) 23
S (23,) 3j
SC23,) 23
S 2,3,a) S3
f231
S({12,3,6) {33
3,4
2,3,4
2,3,4
SC{33,a
SS33,b
SC2343,a)
SC{2343,b)
S({3,43, a)
S ({343

|b