Reg. No.:
L I
) +O
/+
DEcEfuER 'nl
'l'..r:i:
*o'1,;l :::
iii,
.'
Fifth Semester
Computer Science and Engineering"t''it'
'.;',,.:'
.=
1:',,,,,,,
ii::""u:'
CS 2303
-THEORY
OF COMPU.TATION,,,,,,,,,.
', ,..,."::1.;,,.,.
,,,,"ii"
,
"a,'r,_,,,
:i"i::'
Teihnolqfl '
PART
1.
A-
(1,9,
t 2, = 2O'marks)
':::i.,
.,,,,,,.,,_,
2.
E.
difference
':t'
NFA'and D-FA.
j
*'*= ';':" Ij
-.:
.,,0,*'
.l
{a) (b)
4.
Atl strings t}rat contain ABqlS 4 nros. All strings that don't contain the substring 11O'
{O}
t-
,.
=! i::':':':
':::;
i:,i
G;;;"th;"*ftflfloitirrg
grrmmar
.
into an equivalent one with no unit A -+ aAAlancpt useless symbols S '+ ABA
."'.'
''i
.,i.'
language of odd integers written in binary' ig" *lq]i that accepts the
8.
'''1,;'. ---r^ State fiib two normal forms and give an example'
9.
Undecidable' Correspondence Problem is How to prove tJ:at the Post language is also NP-hard' 10. Show that any PSPACE-hard
PARTB-(5x 16*SOmarks)
11. (a)
(4
ti1)
Prove
that
JI
is not rational'
strings Construct a DFA accepting all 4' the number of l's in ur is 3 mod
Or
tltat
DFA from 'thi' regular expresslon minimized a Construct fbl \-' v) )ffyx ' it*,)t(* + 'y)* ' Trace for a string =
'-r:;;::'
usingArden's theorem'
fU""tt"[*itft
Or'
(b) (4 (iil
13. (a) (4
',:, . oi re'Sillar sets? What are the clos-ure propefg
t8)
that Define regular e4predSt-on' 8hoy * * (o *10 * l)= o l(o + to l)* tji * 1;a(+--w''rxo+lo (t +oo .
*=
(8)
':.-
.,i.
ro4 andDPDA
PDA)
(8)
(i4
acceptances by a PDA of What are tJ'e different typ": lSguage by a PDA tfrat thJanguage accepted and define tt'"m' l" it tnie (8) provides different languages? types affer"nt theS. by
' a. :i:'
:'::
Or
+ qsbl A, AibSalSltoaPDAthat LF)' aecep'tstlresamelanguagebyemptystack.(10} A-+ba is the context free (rr)!, r,:"i-+a,SblsAb, A+bAa'
(1l
,,i.:''
'*ttj
::ir,:,.
-'
,r:i:'
$"***.
(6)
662AL
14.
(a)
machine techniques for Turing (il t-' State the fllustrate with a simple language' (10) models of Turing machines' different the 04 Explain ,._., or
construction?
(b)
td t''
l:,, ,';i ..:r-.:;;i:e,,-,. t*o prop"rti"". 'sfi+ry*ffiatn cFL+' for lemma (u) 1-' state the Pumping ::t-*#
-
$r,
examples'
15.
(a)
({
ui'*''""'"'-
'l
:i
*t*A*
',,r,,,,,,,,,,,,,,".,,;l'
3, ba\ B = \b3,.,,b&."d+,r,:::.,:::,:::::... ansm'er'(8) ' Jotodo"a Justiff Yow otFCP&* instance this Does " -. :-
=w:,,,.,,.'
.S*
(4
(8) (8)
(ii)
-a'r..1i:-la!,:'il:.:'i;it'..*,,.
:::: ri::::.
ti .i
*,r,,:l!:
.
r;Ir:i:...
:i,:,
i!:
'";;::
t?
':r,....,:,r' ,:,::,,
':t:tr.:,.
.,,
::''
662AL
3