18CS54

Model Question Paper-1 with effect from 2019-20 (CBCS Scheme)

USN

Fifth Semester B.E. Degree Examination

Automata Theory and Computability
TIME: 03 Hours Max. Marks: 100

Note: 01. Answer any FIVE full questions, choosing at least ONE question from each MODULE.

Module – 1
Define the following terms with examples: Alphabet, Power of an alphabet, String,
(a) 10
Concatenation and Languages.
Q.1 Define DFSM. Design a DFSM to accept each of the following languages:
(b) i) L= {wϵ{0,1}* : w has 001 as a substring} 10
ii) L={ wϵ{0,1}* : w has even number of a’s and even number of b’s}
OR

Convert the following NDFSM to DFSM.

δ ϵ a b c
10
(a) ->p {q,r} {} {q} {r}
q {} {p} {r} {p,q}
*r {} {} {} {}

Define distinguishable and indistinguishable states. Minimize the following DFSM.

Q.2 δ a b
->A B F
B G C
*C A C
(b) 10
D C G
E H F
F C G
G G E
H G C
Module – 2
(a) Define Regular expression. Write the regular expression for the following languages: 10
i) Representing for strings of a’s and b’s having odd length.
ii) To accept strings of a’s and b’s such that third symbol from the right is a and
Q.3 fourth symbol from the right is b.
(b) Use the fsmtoregexheuristic algorithm to construct a regular expression that describes 10
L(M).
δ a b
->*1 2 {}
*2 3 1
3 3 1
OR
(a) Show that regular languages are closed under complement and intersection. 8
(b) State and prove pumping lemma theorem for regular languages. And show that the 12
language L={wwr; wϵ{0,1}*) is not regular.
Q.4
 18CS54
Module – 3
Q.5 (a) 10
Define CFG. Design CFG for the languages
i) L={02n1m | n>=0,m>=0}
ii) L={0i1j2k |i=j or j=k}
 18CS54
Define Ambiguity. Consider the grammar E->E+E|E*E|(E)|id. Find the leftmost, 10
(b)
rightmost derivations and parse trees for the string id+id*id. And show that this
grammar is ambiguous.
OR
(a) Define CNF. Convert the following CFG to CNF. 10
S->aACa
Q.6 A->B/a
B->C/c
C->cC/ϵ
(b) Define PDA. Design a PDA to accept the following language. L={a nbn ; n>=0}. Draw 10
the transition diagram for the constructed PDA. Show the ID’s for the string aaabbb.
Module – 4
(a) With a neat diagram, explain variants of Turing Machines 10
(b) Explain Language Acceptability and Design of Turing Machines. 8
Q.7
OR
(a) Define a Turing machine. Explain the working of a Turing machine. 8

Q.8 Design a Turing machine to accept L={0n1n2n| n>=0}. Draw the transition diagram. 12
(b)
Show the moves made for string aabbcc.
Module – 5
(a) Explain post correspondence problem. 7
Explain Halting problem in Turing machine. 6
(b)
Q.9 (c) Explain recursively enumerable language. 7
OR
(a) Explain Church Turing thesis. 7
(b) Explain Quantum computer. 6
Q.10 Explain Growth rate of function. 7
(c)
 18CS54

Table showing the Bloom’s Taxonomy Level, Course Outcome and Programme
Outcome

Question Bloom’s Taxonomy Level Course Programme Outcome

attached Outcome
Q.1 (a) L1 1 1,12
(b) L1,L3 2 1,2,12
(c)
Q.2 (a) L3 2 1,2,12
(b) L1,L3 2 1,2,12
(c)
Q.3 (a) L2 3 1,2,3,4,12
(b) L3 3 1,2,3,4,12
(c)
Q.4 (a) L2 3 1,2,3,4,12
(b) L2,L3 3 1,2,3,4,12
(c)
Q.5 (a) L1,L3 3 1,2,3,4,12
(b) L2 3 1,2,3,4,12
(c)
Q.6 (a) L1,L3 4 1,2,3,4,12
(b) L1,L3 3 1,2,3,4,12
(c)
Q.7 (a) L2,L3 3 1,2,3,4,12
(b) L2 3 1,2,3,4,12
(c)
Q.8 (a) L2 4 1,2,3,4,12
(b) L3 4 1,2,3,4,12
(c)
Q.9 (a) L2 5 1,2,12
(b) L2 5 1,2,12
(c) L2 5 1,2,12
Q.10 (a) L2 5 1,2,12
(b) L2 5 1,2,12
(c) L2 5 1,2,12

Lower order thinking skills

Bloom’s Remembering( Understanding Applying (Application):
Taxonomy knowledge):𝐿1 Comprehension): 𝐿2 𝐿3
Levels Higher order thinking skills
Analyzing (Analysis): 𝐿4 Valuating (Evaluation): 𝐿5 Creating (Synthesis): 𝐿6