Information Technology (Semester 5)
Total marks: 70
Total time: 2 Hours 30 min
INSTRUCTIONS
(1) Attempts questions Q.1 or Q.2, Q.3 or Q.4 , Q.5 or Q,6 and Q.7 or Q.8 .
(2) Neat diagrams must be drawn whenever necessary.
(3) Assume suitable data , if necessary.
1.a.
Covert the NFA with ∈ moves, for the following Transition Diagram, into its equivalent DFA.
(8 marks)
00
1.b.
State properties & limitations of FSM.
(2 marks)
00
OR
2.a.
Find the regular expression for the language
i. Consisting of all strings of a's b's without any combination of double letters.
ii. over Σ = {a,b} containing at least one 'a' & at least one 'b'.
iii. Consisting of set of all strings that start with 'a' and do not have two consecutive 'b's.
(6 marks)
00
2.b.
Construct Transition Graph for the following regular expression.
r = 1•0•0• (0 + 1)
(4 marks)
00
3.a.
Write a context free language (CFL) for the following CFG.
i. S → OSO | A | ∈
A → 1SO| ∈
ii. S → a Sc |A| ∈
A → aAb | ∈
(6 marks)
00
3.b.
Eliminate ∈ -productions from the given Grammar consisting of following productions
S → a S a |b S b| ∈
(4 marks)
00
OR
4.a.
Convert the following grammar G to GNF
G = {(A₁A₂A₃), (a, b), P, A₁}
Where P consists of the following productions :
A₁ → A₂A₃
A₂ → A₃A₁| b
A₃ → A₁A₂| a
(8 marks)
00
4.b.
State applications of Context - free Grammar.
(2 marks)
00
5.a.
Define PDA. Construct PDA that accepts the following language.
L = {aⁿbⁿ / n > 0}
Simulate for ω = aaabb
(8 marks)
00
5.b.
Construct a PDA that accepts the following language.
L = { X, aXa. bXb, aaXaa, abXba......}
(8 marks)
00
OR
6.a.
Construct PM that multiplies two unary numbers
write simulation for
i. aa.a
ii. aaa.aaa
(10 marks)
00
6.b.
Give difference between PDA & PM.
(6 marks)
00
7.a.
Design a TM that recognizes strings containing equal no. of 0's & 1's
Write simulation for any two input strings.
(9 marks)
00
7.b.
Design a TM that recognizes binary palindromes. Write simulations for any two input strings.
(9 marks)
00
OR
8.a.
Design TM that finds the Greatest Common Divisor (GCD) of two given numbers. Find GCD of 4 & 2.
(12 marks)
00
8.b.
Write short note on types of TM.
(6 marks)
00
9.a.
Prove that.
PCP = {<p>|p is an instance of the Post Correspondence problem with a match}.
(10 marks)
00
9.b.
Write short note on p - class with examples.
(6 marks)
00
OR
10.a.
Prove that following are decidable languages.
i.
= { <B, ω> | B is an NFA that accepts input string ω}
ii.
= {<R, ω> | R is a regular expression that generates string ω}
(10 marks)
00
10.b.
Explain computational complexity with example.
(6 marks)
00