lOMoARcPSD|50602915

CS8501-Theory of Computation Important Questions

Theory of Computation (SRM Valliammai Engineering College)

Scan to open on Studocu

Studocu is not sponsored or endorsed by any college or university

Downloaded by Vinoth p (vinoth1x11@gmail.com)
 lOMoARcPSD|50602915

SRM VALLIAMMAI ENGINEERING COLLEGE

SRM Nagar, Kattankulathur – 603 203

DEPARTMENT OF
COMPUTER SCIENCE AND ENGINEERING

om
QUESTION BANK

.c
ul
pa
jin
re

V SEMESTER

CS8501–THEORY OF COMPUTATION
w.

Regulation – 2017

Academic Year 2018 – 19

ww

Prepared by
Dr. L. Karthikeyan, Assistant Professor/ CSE

Dr.M.Senthilkumar, Associate Professor/CSE

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

VALLIAMMAI ENGINEERING COLLEGE

SRM Nagar, Kattankulathur – 603 203.

DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING

QUESTION BANK
SUBJECT : CS8501

SEM / YEAR: V/III

UNIT I AUTOMATA FUNDAMENTALS

om
Introduction to formal proof – Additional forms of Proof – Inductive Proofs –Finite Automata – Deterministic
Finite Automata – Non-deterministic Finite Automata – Finite Automata with Epsilon Transitions

.c
PART – A

Q.No Questions BT Level Competence

1. Differentiate between DFA and NFA.

ul BTL-2 Understand
pa
2. Define DFA BTL-1 Remember
3. Define inductive proof. BTL-1 Remember
4. Identify NFA- ε to represent a*b | c BTL-1 Remember
5. Consider the String X=110 and y=0110 find BTL-4 Analyze
jin

i) XY ii) X2 iii) YX iv) Y2

6. Describe the following language over the input set A={a,b}
L={ anb n | n>=1} BTL-4 Analyze
re

7. Describe what is non-deterministic finite automata and the

applications of automata theory. BTL-1 Remember
w.

8. Illustrate the induction principle.?

BTL-3 Apply
9. What is proof by contradiction ? BTL-1 Remember
ww

10. Describe an identifier with a transition diagram (automata). BTL-2 Understand

11. Define ε-NFA BTL-1 Remember
12. Summarize minimization of DFA BTL-5 Evaluate
13. Give the non-deterministic automata to accept strings containing
the substring 0101 BTL-2 Understand
14. Illustrate if L be a set accepted by an NFA then there exists a
DFA that accepts L. BTL-3 Apply
15. Define the term epsilon transition. BTL-2 Understand
16. Summarize the extended transition function for a ε-NFA BTL-5 Evaluate

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

17. Create a FA which accepts the only input 101 over the input set
Z={ 0,1} BTL-6 Create
18. Describe a Finite automata and give its types.
BTL-4 Analyze
19. Illustrate deductive proof.
BTL-3 Apply
20. Create a FA which checks whether the given binary number is
BTL-6 Create
even.
PART - B
1. (i)Explainif L is accepted by an NFA with ε-transition then show

om
that L is accepted by an NFA without ε-transition.(6)

(ii)Construct a DFA equivalent to the NFA.

M=({p,q,r},{0,1},δ,p,{q,s}) Where δ is defined in the following
table.(7)

.c
BTL-5 Evaluate
0 1
p {q,s} {q}

ul
q {r} {q,r}
r {s} {p}
s - {p}
pa
2. Prove for every n>=1 by mathematical induction Apply
∑ (i)={n(n+1)/2}. (13) BTL-3

3.
jin

Let L be a set accepted by a NFA then show that there exists a

BTL-1 Remember
DFA that accepts L.(13)

4.
re

Give the NFA that accepts all strings that end in 01.Give its
transition table and the extended transition function for the input
BTL-2 Understand
string 00101.Also construct a DFA for the above NFA using
subset construction method.(13)
w.

5.
Construct DFA equivalent to the NFA given below: (13)
ww

BTL-2 Understand

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

6. (i)Compose that a language L is accepted by some ε–NFA

if and only if L is accepted by some DFA. (6)
(ii)Consider the following ε–NFA. Compute the ε–closure of
each state and find it‟ s equivalent DFA. (7)
ε a b C BTL-6 Create
p ф {p} {q} {r}
q {p} {q} Ф
{r} фФ
*r {q} ф
{r} ф Ф
{p}

7. i)Classify how a language L is accepted by some DFA if L is

om
accepted by some NFA(7)
(ii)Convert the following NFA to its equivalent DFA.(6)

0 1 BTL-3 Apply
p {p,q} {p}

.c
q {r} {r}
r {s} ф
*s {s} {s}

8. i)Construct the DFA to recognize odd number of 1’s and even

number 0’s (7)
ul BTL-1 Remember
pa
ii) Construct the DFA over {a,b} which produces not more than 3
a’s (6)

9. (i)Point out the steps in conversion of NFA to DFA and for the
jin

following convert NFA to a DFA(7)

re

BTL-4 Analyze
(ii)Infer the following to a regular expression.(6)
w.

0 1
q q
ww

0 0,1

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

10. Identify and explain the algorithm for minimization of

DFA.Using the above algorithm minimize the following
DFA.(13)

BTL-1 Remember

om
11. Tabulate the difference between the NFA and DFA .Convert the
following ε-NFA to DFA.(13)

.c
states ε a b c
BTL-1 Remember
p Ф {p} {q} {r}
q
*r
{p}
{q}
{q}
{r}
{r}
ф {p}
Ф

ul
pa
12. (i).Describe the extended transition function for NFA ,DFA and
– ε-NFA(6)

(ii) Consider the following ε-NFA for an identifier .Consider the

jin

ε-closure of each state and give it’s equivalent DFA.(7)

BTL-2 Understand
re
w.
ww

13. (i)Given ∑ ={a,b}Analyze and construct a DFA which recognize

the language L={b m a bn: m,n>0} (13) BTL-4 Analyze

14. (i)Analyze and Prove that if n is a positive integer such that n

mod 4 is 2 or 3 then n is not a perfect square.(6)
BTL-4 Analyze
(ii)Construct a DFA that accept the string {0,1} that always ends
with 00 (7)

PART – C

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

1. (i) Draw and Explain the transition diagram for recognizing the set
of all operators in c Language.(8)
(ii)Evaluate a DFA from the given NFA(7)
M=({qo,q1},{a,b},δ,q0,{q1} with the state table diagram for δ given
BTL-5 Evaluation
below:
δ a b
qo {qo,q1} q1
q1 Ф {qo,q1}
2. Construct the following ε-NFA to DFA.(15)

om
states ε a b c
BTL-6 Create
p Ф {p} {q} {r}
q {p} {q} {r} {p,q}

.c
*r {q} {r} ф Ф
3. Infer the DFA which is accepting the following language over the

ul
alphabet{0,1}.The set of all the strings beginning with a1 that
wheninterrupted as a binary integer , is multiple of 5, For example BTL-4 Analyze
strings 101,1010 and 1111 are in the language 0,100 and 111 are
pa
not.(15)

4. Rewrite the basic approach to convert from NFA to regular

BTL-6 Create
expression. Illustrate with an example(15)
jin
re

UNIT II REGULAR EXPRESSION AND LANGUAGES

Regular Expressions – FA and Regular Expressions – Proving Languages not to be regular – Closure Properties
of Regular Languages – Equivalence and Minimization of Automata.
w.

.
PART - A
Q.No Questions BT Level Competence
ww

1. List the operators of Regular Expressions BTL-1 Remember

2. Differentiate between regular expression and regular BTL-1 Remember
3. lTabulate the regular expression for the following
BTL-4 Analyze
L1=set of strings 0 and 1 ending in 00
4. What are the closure properties of regular languages? BTL-2 Understand

5. Explaina finite automaton for the regular expression 0*1*. BTL-1 Remember

6. Illustrate a regular expression for the set of all the strings BTL-1 Remember
have odd number of 1’s R.E=1(0+11)*

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

7. Illustrate a regular expression for the set of all the strings

have odd number of 1’s R.E=1(0+11)* BTL-3 Apply

8. Compose the difference between the + closure and * closure BTL-4 Analyze
9. Illustrate a regular expression for the set of all strings of 0’s BTL-2 Understand
and 1’sisnot
10. What thecontaining 101 as of
Closure property substring.
regular set S.? BTL-2 Understand
11. BTL-2 Understand
12. Find out the language generated by the regular
expression(0+1)*. BTL-5 Evaluate

13. Name the four closure properties of RE.

om
BTL-1 Remember
14. Is it true the language accepted by any NFA is different from
the regular language? Justify your answer. BTL-4 Analyze
15. Show the complement of a regular language is also regular. BTL-3 Apply
16. Construct a DFA for the regular expression aa*bb*.

.c
BTL-3 Apply
17. State the precedence of RE operator. BTL-5 Evaluate
18. Construct RE for the language over the set z={a,b} in which

ul
BTL-6 Create
total number of a’s are divisible by 3.
19. Define RE.
BTL-1 Remember
pa
20. Create RE to describe an identifier and positive integer. BTL-6 Create
PART - B
1.
Demonstrate how the set L= {abn/n>=1} is not a
jin

BTL5 Evaluate
regular.(13)
2. Express that the regular languages are closed under:(13)
(a)union (b)intersection(c)Kleene Closure(d)Complement BTL-1 Remember
re

(e)Difference
3.
Examine whether the language L=(0n1n | n>=1) is regular or BTL-2 Understand
not? Justify your answer (13)
w.

4. (i)Describe a Regular Expression. Write a Regular

Expression for the set of strings that consists of alternating 0’s
and 1’s.(6)
BTL1 Remember
ww

(ii)Construct Finite Automata equivalent to the regular

expression (ab+a)*(7).
5. (i)Describe the closure properties of regular languages.(6)

(ii)Describe NFA with epsilon for the RE=(a/b)*ab and BTL1 Remember
convert it into DFA and further find the minimized
DFA.(7)

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

6.
Demonstrate how the set L= {anbn /n>=0} is not a
regular.(13) BTL-3 apply

7. Verify the whether L ={ a 2n| n>=1} regular (13)

BTL-3 Apply
8. i) Prove The reverse of a regular language is regular (6)
ii) A homomorphism of regular language is regular (7) BTL-4 Analyze

9. Discuss on regular expressions (13) BTL-2 Understand

om
10 Construct NDFA for given RE using Thomson rule. (13)
i) a.(a+b)* ab
ii) (a.b)* BTL-6 Create
iii) (a+b)

.c
11 Explain the DFA Minimization algorithm with an
BTL-1 Remember
example.(13)
12
Demonstrate how the set L= {anbm| m,n>=1} is not a

ul
regular.(13) BTL 2
Understand
pa
13 i) Prove the L1 and L2 are two languages then L1- L2 is
regular (7)
jin

ii) Prove the L1 and L2 are two languages then L1 . L2 is BTL 4 Analyze
regular (6)

14 i) Prove the L1 and L2 are two languages then L1 U L2

re

is regular (7)
BTL-4 Analyze
ii) Prove the L1 and L2 are two languages then L1
intersection L2 is regular (6)
w.

PART – C
1. (i)Deduce into regular expression that denotes the language
accepted by following DFA.(7)
ww

1 0 0,1
1 2
BTL-5 Evaluate
(ii)Evaluate the equalities for the following RE and prove for
the same (8)
a. b+ab* +aa*b+aa*ab*
b. a*(b+ab*).
c. a(a+b)*+aa(a+b)*+aaa(a+b)*

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

2. Set the algorithm for minimization of a DFA. Develop a

minimized DFA for the RE (a+b)(a+b)* and trace for the BTL-6 Create
string baaaab.(15)
3. Point out about the regular exression and regular Language. (15) BTL-4 Analyze
4. Develop the procedure for minimizing DFA with example (15) BTL-6 Create

UNIT III CONTEXT FREE GRAMMAR AND LANGUAGES

CFG – Parse Trees – Ambiguity in Grammars and Languages – Definition of the Pushdown Automata – Languages of a

om
Pushdown Automata – Equivalence of Pushdown Automata and CFG, Deterministic Pushdown Automata .

PART - A
Q.No Questions BT Level Competence

.c
1. Express the ways of languages accepted by PDA and define BTL 2 Understand
them?
2. Summarize PDA .Convert the following CFG to PDA

ul
S aAA , A aS|bS|a. BTL 2 Understand

3. Define ambiguous grammar and CFG BTL 1 Remember

pa
4. Define parse tree and derivation. BTL 1 Remember
5. Examine the context free Grammar representing the set of BTL 2 Understand
Palindrome over (0+1)*
jin

6. Compare Deterministic and Non deterministic PDA. Is it true

that non deterministic PDA is more powerful than that of BTL 2 Understand
deterministic PDA? Justify your answer.
7. When is PDA said to be deterministic? BTL 1 Remember
re

8. Examine the string aaabbabbba for the Grammar G with

SaB|bA BTL 5 Evaluate
A a|aS|bAA
w.

B b|bS|aBB
9. Examine whether a pushdown automata has a memory? BTL 1 Remember
10. Designequivalence of PDA and CFG. BTL 6 Create
ww

11. Point out the languages generated by a PDA using final state
BTL 4 Analyze
of the PDA and empty stack of that PDA
12. Illustrate the rule for construction of CFG from given PDA BTL 3 Apply
13. Give a CFG forthe language of palindrome string over
BTL 5 Evaluate
{a,b}.Write the CFG for the language ,L=(anb n|≥n).

14. What is Instantaneous Descriptions ( ID ) BTL 1 Remember

15. Show that L={ap/p is prime} is not context free. BTL 3 Apply

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

16. Infer the CFG for the set of strings that contains equal number
BTL 4 Analyze
of a’s and b’s over ∑ ={a,b}
17. Point out the various types of grammar with example BTL 1 Remember

18. Illustrate the rightmost derivation (a+b)*c for using the

grammar and also state whether a given grammar is
BTL 3 Apply
ambiguous one or not.
EE+E/E*E/(E)/id

19. Point out the additional features a PDA has when compared

om
BTL 4 Analyze
with NFA.
20. Convince your answer of acontext free grammar for the given
BTL6 Create
expression (a+b) (a+b+0+1)*

.c
PART - B
1. (i)Discuss about PDA and CFL Prove the equivalence of PDA
and CFL.(6) BTL 2 Understand

ul
(ii)If L is Context free language then prove that there exists
PDA M such that L=N(M). (7)
2.
pa
(i)Describe the different types of acceptance of a PDA. Are
they equivalent in sense of language acceptance? Justify your BTL 1
answer. (7) Remember
(ii)Design a PDA to accept {0 n1 n|n>1}.Draw the transition
jin

diagram for the PDA and identify the instantaneous

description(ID)of the PDA which accepts the string ‘0011.(6)
3. (i)Identify that deterministic PDA is less powerful than non
nondeterministic PDA.(7)
re

(ii)Construct a PDA accepting {a nb man / m, n>=1} by empty BTL 1 Remember

stack. Also tell the corresponding context-free grammar
accepting the same set.(6)
w.

4. (i)Describe and draw the parse tree for the string 1+2*3
Given the grammar G=(V,  ,R,E)where
V={E,D,1,2,3,4,5,6,7,9,0,+,-,*,/,9,)}
ww

 ={1,2,3,4,5,6,7,8,9,0,+,-,*,/,(,)} where R contains the

following rules :
E D|(E)|E+E|E-E|E/E BTL 6
D 0|1|2|…9 (6) Create

(ii)Let G=(V,T,P,S) be a Context Free Grammar then prove

that if the recursive inference procedure call tells us that
terminal string W is in the language of variable A ,then there is
a parse tree with a root A and yield w. (7)

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

5. (i)Define Non Deterministic Push Down Automata. Is it true

that DPDA and NDPDA are equivalent in the sense of
language acceptance is concern? Justify Your answer.(5)
(ii)Convert PDA to CFG.PDA is given by
P=({p,q},{0,1},{X,Y},δ,q,Z}, δ is defined by
δ(p,1,z)={(p,XZ)}, BTL 1 Remember
δ(p,ε,Z)={p, ε)},
δ(p,1,X)={(p,XX)},
δ(q,1,X)={(q, ε)},
δ(p,0,X)={(q,X0}
δ(q,0,Z)={(p,Z)} (8)

om
6. (i)Define PDA. Give an Example for a language accepted
byPDA by empty stack.(7)
(ii)Convert the grammar
BTL 2 Understand
S ->0S1|A
A ->1A0|S| εinto PDA that accepts the same language by the
empty stack .Check whether 0101 belongs to N(M).(6)

.c
7. (i)Analyze the theorem: If L is Context free language then
prove that there exists PDA M such that L=N (M). (7) Analyze

ul
(ii) Prove that if there is PDA that accepts by the final state BTL 4
then there exists an equivalent PDA that accepts by Null
State.(6)
pa
8. Solve the following grammar
SaAa | bBb | BB
A C
B S | A
jin

C  S | ε for the string abaaba .Give BTL 5 Evaluate

i) Left most derivation(3)
ii)Right most derivation(3)
iii)Derivation Tree(3)
re

iv) For the string abaabbba, find the right most derivation.(4)
9. (i)ExamineConstruct the grammar for the following PDAM.
M=({q0, q1},{0,1},{X,z0},δ,q0,Z0,Φ) and where δis given by
w.

δ(q0,0,z0)={(q0,XZ0)},
δ(q0,0,X)={(q0,XX)},
δ(q0,1,X)={(q1, ε)},
δ(q1,1,X)={(q1, ε)},
ww

BTL 3 Apply
δ(q1,ε,X)={(q1, ε)},
δ(q1, ε, Z0)=
{(q1, ε)}. (7)
(ii)Prove that if L is N(M1) for some PDA M1 then L is
L(M2 ) for some PDA M2. (6)
10. Construct a PDA that recognizes and analyzesthe language
{aibjck| i,j,k>0 and i=j or i=k}. BTL 4 Analyze
Explain about PDA acceptance
i) From empty Stack to final state. (6)
ii) From Final state to Empty Stack. (7)

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

11. Examine and construct a CFG G which accepts N(M), where

M=({q0, q1},{a,b},{z0,z},δ,q0,z0,Φ) and where δis given by
δ(q0,b,z0)={(q0,zz0)}
δ(q0, ε,z0)={(q0, ε)}
δ(q0,b,z)={(q0,zz)}
δ(q0,a,z)={(q1,z)} BTL-1 Remember
δ(q1,b,z)={(q1, ε)
δ(q1,a,z0)={(q0,z0)}
Show that anb ncn is not context free language i.e show that the
set of strings of a’ s and b’s and c’s with an equal number of
each is not context free(13)

om
12. (i) Describe the PDA that accept the given CFG (7)
S→xaax BTL-2 Understand
X→ax/bx/€
(ii) Express a PDA for the language anb man+m (6)

.c
13. (i) Illustratea PDA for the language {WCWR/W€{0,1}}.(7)
BTL-3 Apply
(ii) Illustrate a CFG for the constructed PDA. (6)

ul
14. (i)Identify CFG for the language L={0 i1j 0k | j>i+k} (7)
(ii)Define derivation tree. Explain its uses with an BTL-4 Analyze
example.(6)
pa
PART – C
1. (i)Design and Explaina PDA to accept each of the following
language BTL-5 Evaluation
jin

{aibjck|i=j or j=k}(7)
(ii) The set of all string with twice as many 0’s and 1’s. (8)
2. (i)Let P be a PDA with empty stack language L=N(P) and
suppose that ε is not in L. Designhow you would modify P so
re

BTL-6 Create
that it accepts L U { ε} by empty stack.(8).
(ii) Design a DPDA for even length palindrome.(7)
3.
w.

(i) Convert the following CFG to PDA and analyze the answer
(a+b) and a++. (8)
Ia|b|Ia|Ib|I0|I1 BTL-4 Analyze
EI|E+E|E*E|(E)
ww

(ii) Convert the following CFG to PDA by empty stack.(7)

S0S1/A;
A1A0/S/ ε Infer whether 0101 belongs to N(M).

4. (i)If L is a CFL then prove that there exists PDA M, such that
L=N(M) , language accepted by empty stack .(7) BTL-6 Create
(ii)Construct a PDA empty store , L= {am b n|n<m}.(8)

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

UNIT IV PROPERTIES OF CONTEXT FREE LANGUAGES

Normal Forms for CFG – Pumping Lemma for CFL – Closure Properties of CFL – Turing Machines –
Programming Techniques for TM.
PART - A
Q.No Questions BT Level Competence

1. Conclude the procedure for converting CNF to GNF with an BTL 2 Understand
example
2. Illustrate the Basic Turing Machine model and explain in one
BTL 3 Apply

om
move. What are the actions take place in TM?

3. Define the two normal forms of CFG BTL 1 Remember

4. Point out the hierarchy summarized in the Chomsky BTL 4 Analyze
hierarchy..

.c
5. Define the pumping Lemma for CFLs BTL1 Remember
6. Define Turing Machine. BTL1 Remember
7. Discuss the applications of Turing machine. BTL 2 Understand
8.
9.
Define Chomskian hierarchy of language.
What is the class of language for which the TM has both
ul BTL 1

BTL 2
Remember

Understand
pa
accepting and rejecting configuration? Can this be called a
Context free Language? Discuss.
10. Show the following grammar into an equivalent one with no
unit productions and no useless symbols
jin

SABA
BTL 3 Apply
AaAA|aBC|bB
BA|bB|Cb
CCC|cC
re

11. Explain the special features of TM? Define universal TM. BTL 5 Evaluate
Define Instantaneous description of TM
12. Define GNF. BTL 1 Remember
w.

13. Prepare the difference between finite automata and turing BTL 6 Create
machine.
14. List the three ways to simplify a context free grammar. What
BTL 5 Evaluate
ww

are the properties of the CFL generated by a CFG?

15. Draw a transition diagram for a Turing machine to identify BTL 1 Remember
n mod 2.
16. Express the techniques for TM construction. BTL 2 Understand
17. Develop the short notes on two-way infinite tape TM. BTL 6 Create
18. Differentiate TM and PDA. BTL 4 Analyze
19. Point outthe role of checking off symbols in a Turing Machine BTL 4 Analyze

20. Illustrate Halting Problem. BTL 3 Apply

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

PART - B
1. Express the following grammar G into Greibach Normal
Form(GNF) (13)
SXA|BB BTL 1 Remember
Bb|SB
Xb
Aa
2. Use the CFL pumping lemma to show how each of these
languages not to be context-free{aibjck| i<j<k} (13) BTL 2 Understand

om
3. (i)Discussa TM to accept the language LE={1 n 2 n 3n|n >= 1}
(6) BTL 2 Understand
(ii)Construct a turing machine that estimate unary
multiplication (Say 111 X 11 = 11111) (7)
4. (i)Illustrate the Turing machine for computing f(m, n)=m-n
( proper subtraction). (7)

.c
BTL 3 Apply
(ii)Demonstrate a Turing Machine to compute f(m+n)=m+n,
m,n>=0 and simulate their action on the input 0100. (6)

ul
5. (i)Examinethe role of checking off symbols in a Turing
Machine.(6) BTL 1 Remember
(ii)Describe a Turing Machine M to implement the function
pa
“multiplication” using the subroutine copy(7)
6. (i)Demonstrate the implications of halting problem.(7)
(ii)Show that if a language is accepted by a multitapeturing BTL 3 Apply
machine ,it is accepted by a single-tape TM .(6)
jin

7. (i)Summarize in detail about multihead and multitape TM

with an example.(7) BTL 5 Evaluate
(ii)Construct a Turing Machine to accept palindromes in an
alphabet set ∑={a,b}.Trace the strings “abab” and “baab”.(6)
re

8. (i)Explain the TM as computer of integer function with an

example.(7) BTL 4 Analyze
(ii)Design a TM to implement the function f(x)= x+1. (6)
w.

9. (i)Design a TM to accept the set of all strings {0,1} with 010

as substring.(7) BTL 6 Create
(ii)Write shot notes on Two –way infinite tape TM.(6)
ww

10. (i)Describe computing a partial function with a TM.(6) BTL 1 Remember

(ii)Design a TM to accept the language LE={a nb ncn
|n >1}.(7)
11. (i)Define Turing machine for computing f(m, n)=m*n,n€N. (7)
(ii) Write notes on Partial solvability.(6) BTL -1 Remember

12. (i) Construct a TM to reverse the given string {abb}. (6)

(ii) Explain Multi tape and Multi head Turing machine with BTL 2 Understand
suitable example.(7)

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

13. (i)Analyze and Construct a TM to compute a function f(w)

=WR where W€{a,b}.(7) BTL 4 Analyze
(ii)Construct Turing machine (TM) that replace all occurence
of 111 by 101 from sequence of 0’s and 1’s.(6)
14. (i)Infer the Chomsky grammar classification with necessary
example. (6) BTL 4 Analyze
(ii)Explain a TM with no more than three states that accepts
the language. a(a+b) *.Assume €={a,b}. (7)
PART – C
1. (i)Compose the limitation of automata for Type 3, Type 2, type

om
0 languages.(7)
(ii) Consider two-tape Turing Machine (TM) and determine
BTL-6 Create
whether the TM always writes a nonblank symbol on its second
tape during the computation on any input string ‘w’. Formulate
this problem as a language and show it is undecidable.(8)

.c
2. (i) Define pumping lemma for CFL. Show that L={aibjck, i<j<k}
is not context free and Judge your answer.(6)
(ii) Construct a TM to move an input string over the alphabet A= BTL-5 Evaluate

ul
{a} to the right one cell. Consider that the tape head starts
somewhere on a blank cell to the left of the input string to the
right one cell , leaving all the remaining cell blank.(9)
pa
3. (i) Design and explain a TM to compute f(m,n) = m*n , for all
m,n€ N.(6) BTL-4 Analyze
(ii) Explain how a multi track in a TM can be used for testing
given positive integer is a prime or not(9).
jin

4. (i)Prepare a subroutine to move a TM head from its current

position to the right, skipping over all 0’s until reaching a 1 or
a blank. If the current position does not hold 0, then the TM
re

should halt. You may assume that there are no tape symbol other BTL-6 Create
than 0,1 and B(blank). Then , use this subroutine to design to
TM that accepts all strings of 0’s and 1’s that do not have two
1’s in a row.(8)
w.

(ii)Write short notes on checking off symbols(7)

ww

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

UNIT V UNDECIDABILITY
Non Recursive Enumerable (RE) Language – Undecidable Problem with RE – Undecidable Problems about TM –
Post‘s Correspondence Problem, The Class P and NP

PART - A
Q.No Questions BT Level Competence

1. Distinguish between PCP and MPCP? What are the concepts BTL 2 Understand
used in UTMs?

om
2. List out the features of universal turing machine. BTL 1 Remember
3. When a recursively enumerable language is said to be
BTL 2 Understand
recursive? Discuss on it.

4. Compare and contrast recursive and recursively enumerable BTL 4 Analyze

.c
languages
5. State when a problem is said to be decidable and give an
BTL 1 Remember
example of an undecidable problem.

6.
7.
Define NP hard and NP completeness problem.
Define a universal language Lu?
ul BTL 1
BTL 1
Remember
Remember
pa
8. Is it true that the language accepted by a non-deterministic
Turing Machine is different from recursively enumerable BTL 5 Evaluate
language? Judge your answer.
9. Formulate the two properties of recursively BTL 6 Create
jin

enumerable sets which are undecidable

10. When a problem is said to be decidable? Give an example of BTL 4 Analyze
undecidable problem. Analyze it.
re

11. What is (a) recursively enumerable languages (b) recursive BTL 6 Create
sets? Generalize your answer.
12. Define the classes of P and NP. BTL 1 Remember
w.

13. Is it true that complement of a recursive language is recursive? BTL 2 Understand

Discuss your answer
14. Describe an example of an undecidable problem BTL 1 Remember
15. Point out the properties of recursive and recursive enumerable
ww

BTL 4 Analyze
language.
16. Illustrate on Primitive Recursive Function. BTL 3 Apply
17. Show the Properties of Recursive Languages BTL 3 Apply
18. Explain about tractable problem. BTL 5 Evaluate
19. Describe post correspondence problem. BTL 2 Understand

20. Illustrate about Time and space complexity of TM. BTL 3 Apply
PART - B

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

1. (i)Describe about the tractable and intractable problems.(7) BTL 1 Remember

(ii)Identify that “MPCP reduce to PCP”.(6)
2. (i)Describe about Recursive and Recursive Enumerable
languages with example.(7) BTL 1 Remember
(ii)State and describe RICE theorem.(6)
3. (i)Summarize diagonalization language.(6)
(ii)Discuss the significance of universal turing machine and BTL 2 Understand
also construct a turing machine to add two numbers and encode
it .(7)
4. Discuss post correspondence problem .Let ∑={0,1}.Let A and

om
B be the lists of three strings each ,defined as
List A List B
i wi xi
1 1 111 BTL 2 Understand
2 10111 10

.c
3 10 0
(i)Does the PCP have a solution?(7)
(ii)Prove that the universal language is recursively

5.
enumerable.(6)
(i)Explain computable functions with suitable example.(6)
(ii)Explain in detail notes on Unsolvable Problems.(7) ul BTL 4 Apply
pa
6. (i)Describe in detail notes on universal Turing machines with
example.(7) BTL 1 Remember
(ii)Collect and write the short notes on NP-complete
problems.(6)
jin

7. (i) Show that the diagonalization language (Ld) is not a

recursively enumerable.(7) BTL 3 Apply
(ii)Illustrate about unsolvability.(6)
8. (i)Compare the difference between recursive and recursively
re

enumerable languages.(7) BTL 5 Evaluate

(ii)Explain about PCP.(6)
9. (i) Explain about Universal Turing machine and show that the
w.

universal language (Lu) is recursively enumerable but not

recursive. Generalize your answer(8) BTL 6 Create
(ii) Design and explain how to measure and classify
complexity.(5)
ww

10. (i)Explain about the recursively Enumerable Language with

example.(6)
BTL 4 Analyze
(ii)Point out that the following problem is undecidable.
Given two CFGs G1 and G2 is L(G1)  L(G2) =∅.(7)

11. (i)Show that the characteristic function of the set of all even
number is recursive .(7) BTL-3 Apply
(ii)Illustrate in detail notes on primitive recursive functions
with examples.(6)

Downloaded by Vinoth p (vinoth1x11@gmail.com)

 lOMoARcPSD|50602915

12. (i)Point out the Measuring and Classifying Complexity.(7)

BTL-4 Analyze
(ii)Does PCP with two lists x=(b,b ab3,ba) and y=(b3,ba,a)
have a solution. Analyze your answer.(6)
13. (i)Discuss in detail about Time and Space Computing of a
Turing Machine(6)
BTL-2 Understand
(ii)Express two languages which are not recursively
enumerable.(7)
14. (i)Describe in detail Polynomial Time reduction and NP-
completeness.(7) BTL 1 Remember

om
(ii)List out the short notes on NP-Hard Problems.(6)
PART – C
1. Consider and find the languages obtained from the following
operations:
(i)Union of two recursive languages.(5) BTL-5 Evaluate

.c
(ii)Union of two recursively enumerable languages.(5)
(iii)L if L and complement of L are recursively enumerable.(5)
2. Prove that the universal language is recursively enumerable but BTL-6 Create

ul
not recursive. Generalize your answer.(15)

3. (i) Plan and explain on decidable and un-decidable problems

pa
with an example(7) BTL-6 Create
(ii) Design and prove that for two recursive languages L1 and
L2 their union and intersection is recursive.(8)
4. (i) Compare and write about tractable and untractactable
jin

problems with an example.(10) BTL-4 Analyze

(ii) Explain the language L u and show that Lu is RE
language.(5)
re
w.
ww

Downloaded by Vinoth p (vinoth1x11@gmail.com)