TOC Model
TOC Model
PART A (9X2=18)
1. Mention the four types of proofs.
2. Define finite automaton and give one example.
3. Write Regular Expressions for the following languages:
a. The set of strings over alphabet {a,b,c} containing at least one a and at least one b.
b. The set of all strings of 0’s and 1’s with at most one pair of a consecutive 1’s.
4. Give the operator precedence of Regular Expression.
5. What is Ambiguous Grammer?
6. What are the two normal forms of CFG? Write their production format.
7. What is recursively enumerable language?
8. Define P and NP class
9. State post correspondence problem.
PART B (4X13=52)
10. a) Convert the following NFA to DFA.
(OR)
b) Convert the following NFA-with ε to NFA without ε
11. a) Construct the PDA accepting the language {(ab)n/n>0} by empty stack.
(OR)
b) Construct PDA for the Language L= {WWR | W is in (a+b)*}.
SURYA GROUP OF INSTITUTIONS
School of Engineering and Technology
Model Examination
12. a) What is the purpose of normalization? Construct the CNF and GNF for the following
----grammar and explain the steps.
S aAa | bBb | €
A C|a
B C |b
C CDE | €
D A |B|ab
(OR)
b). Explain about Turing Machines and Construct the Turing machine for the language L = {1n0 n 1 n
------
/n >=1 }
13. a) State the steps of the pumping lemma for CFL. Use pumping lemma to show that the language L=
{aibjck/i<j<k} is not a CFL.
(OR)
b) Simply the following grammar by eliminating null productions, unit production and useless
symbols and then convert to CNF.
S ABC/BaB
A aA/ BaC/aaa
B bBb/a/D
C CA/AC
D ξ