Regulation : 09

Code No: CS305

VIGNAN UNIVERSITY :: VADLAMUDI 5!! !"3

Vignans Foundation for Science, Technology and Research (Estd. U/s 3 of UG !ct of "#$%&

''' (.Tech ' Se)ester Su**le)entary E+a)ination, ,uly -."-

T#E$RY $% C$M&UTATI$N
( SE/ 'T&

Ti)e/ 3 hours In(t)u*tion(: "+ An(,e) $NE -ue(tion .)o/ ea*0 unit !+ All 1ue(tion( *a))2 e-ual /a)3( 3+ A((u/e /i((ing data4 i. an2 555

0a+. 0ar1s / '0

UNIT 6 I
". a& 2esign 2F! 3hich acce*ts string "".. only. 6& 2esign a 2F! 3hich acce*ts set of all strings contains "".. as su6string, =8.," 7. 7$R8 a& onstruct an algorith) to con9ert 2F! fro) :F!. 6& E+*lain deter)inistic finite auto)ata and :on;deter)inistic finite auto)ata 4%05 3here 4%05 4%05 4%05

-.

UNIT 6 II 3. State and *ro9e the *u)*ing le))a theore) for regular sets and its a**lications. 4"-05

7$R8 <. a& Sho3 that regular set = > 8 " /? is a *ri)e7 is not regular. 6& ?ro9e that regular sets are closed under union, oncatenation, 1leene closure. UNIT 6 III
*

4%05 4%05 4%05 4%05 4"-05

$.

a& 2efine FG, deri9ation, deri9ation tree 3ith e+a)*les 6& onstruct a FG for the language = > 8an6n / n .7 7$R8 State and *ro9e the *u)*ing le))a theore) for F=s and its a**lications.

%.

UNIT 6 IV @. a& on9ert the follo3ing gra))ar to ho)s1y :or)al for) S a!S/a ! S 6 ! / SS / 6a is a)6iguous 7$R8 n ) nB) onstruct ?2! fro) language a& a 6 a 6& a+ 6y aC / + BC >y. 4"-05

A.

4"-05

UNIT 6 V #. a& 2esign Turing )achine to co)*ute the function nD (Factorial of a nu)6er&.
6& 2efine T0 and e+*lain ty*es of T0S in detail.
" of "

4%05
4%05

Regulation : 09

Code No: CS305

7$R8 ".. a& 2efine ? ?. ?ro9e that the ? ? o9er

- is unsol9a6le. for

4%05 4%05

6& E+*lain Ealting *ro6le) 3ith an e+a)*le.

- of "