Theory Computation Aug Sep2023
Theory Computation Aug Sep2023
cB - 480
4o
VlSemesterB.C.A.Examinhtion,August/September2a2S
(CBCS) (F+R) (2016-17 and Onwards)
COMPUTER SCIENCE
BCA 601 : TheorY of ComPutation
Max. Marks : 100
Time : 3 Hours >/
;:r
{"1-<al
Yo
SEGTION _ A
Ur@
Answeranytenquestions,Eachquestioncarriestwomarks-(10x2=20)
the tuple'
1. Define finite automata and write
4.DefineaR.E.forthelanguagecontaining0,sandl'sendingwith001.
grammar'
5. Mention the ditferent types of
T.Whatisparsing?Nametwotypeso{parsing.
L Define GNF'
#r
(PCP) of turing machine'
9. State Post Correspondence Problem
P.T.O.
cB - 480 -2- I lllil lllil lill illil fiil ilt lllt
SECTION - B
13. Design a DFA that accepts strings of a's and b's ending with ab.
S -+ 0S1Sl1SOSle
A -+ aBlbAB
B+b
D-+d
19. Write down the left most, right most derivation of the given grammar for the
string abbbb using the productions.
'{':
S -+ aAB
A+bBb
B + Ale.
20. Construct the PDA to accept the language L(M) * iw c wRlw e (a+b).i where
wH is reverse of w.
illlililililIillilIlllililtiltilil cB - 480
SECTION -C
Answer any three questions. Each question carries 15 marks. (3x15=45)
21. Construct a DFA from the given
oiven e-NFA. 15
A B E
B c F
*Q D H
D E H
E F I
*f G B
G H B
H I C
*l A E
B+BB
b) Eliminate unit productions. I
S+AB
A-+a
B+C
B-+b
C-rD
D-+E
E-+a
cB - 480 .4. llllllllllllllillllllllllllllllllll
S-+AB
A -+ BSB
A+a
B-+b
SECTION _ D
26. Construct a DFA which accepts even number of a's and even number of b's.
27. Using pumping Lemma prove that the language 1 = lanbnln > 0) is not regular.