B.Tech. Degree Examination Cse & It: (Nov-12) (EURCS-505/EURIT-505)
B.Tech. Degree Examination Cse & It: (Nov-12) (EURCS-505/EURIT-505)
B.Tech. Degree Examination Cse & It: (Nov-12) (EURCS-505/EURIT-505)
[EURCS-505/EURIT-505]
B.Tech. Degree Examination
CSE & IT
V SEMESTER
FORMAL LANGUAGES & AUTOMATA THEORY
(Effective from the admitted batch 2007–08)
Time: 3 Hours Max.Marks: 60
----------------------------------------------------------------------------------------------------
Instructions: Each Unit carries 12 marks.
Answer all units choosing one question from each unit.
All parts of the unit must be answered in one place only.
Figures in the right hand margin indicate marks allotted.
---------------------------------------------------------------------------------------------------
UNIT-I
1. a) Construct DFA equivalent to NFA
({9 0 , 9 1 , 9 2 , 9 3 }, {0,1}, S, 9 0 , {9 1 , 9 3 })
Where S is given in the following table? 8
Σ 0 1
Q
90 91, 92 91
91 92 9 1, 9 2
92 93 90
93 - 90
=
ii) L { XY | x, y ∈{0,1}*
and Y is either X or X r }
UNIT-III
5. a) The given context-free grammar G, find a CFG G ' in
Chomsky normal form generating L(G)-{E} 6
G has productions
S → AaA | CA | aa | BaB
A → aaBa | CDA | aa | DC
B → bB | bAB | bb | aS
C → Ca | bC | D
D → bD | E
b) Find a CFG generating the given language in the following
cases:
i) The set of even length string in {a,b}* with second symbol
is a 6
OR
6. a) Prove that the given language is not a CFL using pumping
lemma
{ X ∈{a, b}* | nb ( x) =
L= na ( x)} 6
b) Find the context-free grammar generating the language
L= {a b c
i j k
| i= j + k } 6
UNIT-IV
7. a) Discuss about the relation between push down automata and
CFG 4
b) Give the transition table for PDAs recognizing the following
language
{
i) a n X | n ≥ 0, x ∈ {a, b}* and | X |≤ n } 8
OR
8. a) If L is CFL, then we construct PDA A accepting L by stack
i.e. L = N(A) 6
b) Define pushdown automata with example 6
UNIT-V
9. Suppose L is accepted by a TM, T. Describe how could you
construct a non-deterministic TM to accept each of the following
languages:
a) The set of all prefixes of element L
b) The set of all suffixes of element L
c) The set of all substrings of element L 12
OR
10. a) Define PCP. Prove that the PCP over Σ for (Σ)≥2 is insolvable 6
b) Design Turing Machine to compute the function n! (Factorial
of a number) 6
[3,7/V S/112]