Course Code :ACT1114/ 2012 R-2012 Reg.

No :
GAYATRI VIDYA PARISHAD COLLEGE OF ENGINEERING (AUTONOMOUS)
Madhurawada, Visakhapatnam
Affiliated to JNT University – K, Kakinada
B.Tech. V-Semester Supplementary Examinations, November-2015
Formal Languages and Automata Theory
(Computer Science and Engineering)
Date : 05-11-2015 Time : 3 Hours Max. Marks : 70
1. Question No. 1 is Compulsory.
2. Answer any FOUR from questions 2 to 8.
3. All parts of a Question must be answered in one place to get valued.
1. Answer the following in 4 or 5 sentences.

a) Define formal language and prefix of a string. 2 Marks

b) Write short notes on Mealy machine. 2 Marks
c) Write recursive definition of a regular expression. 2 Marks
d) Differentiate right linear and left linear grammars. 2 Marks
e) State any four closure properties of a context free language. 2 Marks
f) What is meant by PDA? 2 Marks
g) State Churchi’s hypothesis. 2 Marks

2. a) Convert the following NFA to DFA 7 Marks

b) Design a DFA to accept the set of all strings not containing 101 as substring where input 7 Marks
alphabet Σ= {0,1}

3. a) Construct NFA for the regular expression 7 Marks

(11+0)* (00+1)*
b) Show that the language L = {an!/ n≥0} is not regular. 7 Marks

4. a) Consider the CFG 7 Marks

S→baXaS/ab
X→Xab/aa
Find LMD and RMD for string w = baaaababaab
b) Find left linear and right linear grammars for the given DFA. 7 Marks

Page 1 of 2
Course Code :ACT1114/ 2012 R-2012 Reg. No :

5. a) Minimize the following grammar 7 Marks

S→aA/aBB
A→aAA/ε
B→bB/bBC
C→B
b) Convert the following CFG to Greiback Normal Form. 7 Marks
S→AA/a
A→SS/b

6. a) Design a PDA which accepts L = {wcwr/ wϵ(a+b)*} 7 Marks

b) Construct a PDA equivalent to the following grammar 7 Marks
S→aAA
A→aS/bS/a

7. a) Design a Turing machine for finding 1’s complement of a given binary number. 7 Marks
b) Explain types of turing machines. 7 Marks

8 a) Explain Chomsky hierarchy of languages. 7 Marks

b) State post’s correspondence problem (PCP) and does the following PCP problem has a 7 Marks
solution X= {b,babbb, ba} Y={bbb,ba,a}

Page 2 of 2