This download link is referred from the post: AKTU B-Tech Last 10 Years 2010-2020 Previous Question Papers || Dr. A.P.J. Abdul Kalam Technical University
B.Tech II Year II Semester Examinations, May - 2019
FORMAL LANGUAGES AND AUTOMATA THEORY
(Common to CSE, IT)
Time: 3 hours
Max. Marks: 75
Note: This question paper contains two parts A and B.
--- Content provided by FirstRanker.com ---
Part A is compulsory which carries 25 marks. Answer all questions in Part A.
Part B consists of 5 Units. Answer any one full question from each unit. Each question carries 10 marks.
Part A (25 Marks)
-
- Define DFA. Give an example. (2M)
- Write regular expression for set of all strings over {a,b} containing "abb" as a substring. (3M)
- Write a context free grammar for the language L = {anbn | n ≥ 1}. (2M)
- Define Instantaneous description of a PDA. (3M)
- When is a Turing Machine said to be decidable? (2M)
- State pumping lemma for regular sets. (3M)
- What are useless symbols in a grammar? (2M)
- What is Greibach Normal Form (GNF)? (3M)
- Define Multi-Tape Turing Machine. (2M)
- Define Post Correspondence Problem. (3M)
--- Content provided by FirstRanker.com ---
--- Content provided by FirstRanker.com ---
Part B (50 Marks)
(Answer any one full question from each unit)
Unit - I
-
2.a) Design a DFA which accepts set of all strings over the alphabet {0, 1} that when interpreted as a binary number is divisible by 5. (5M)
--- Content provided by FirstRanker.com ---
b) Construct a minimum state DFA equivalent to the DFA given below: (5M)
Note: Replace 'https://www.firstranker.com/sample_image.png' with the actual image URL if available.OR
3.a) Construct a NFA without ε - transitions equivalent to the NFA with ε - transitions given below: (5M)
Note: Replace 'https://www.firstranker.com/sample_image2.png' with the actual image URL if available.b) Convert the following regular expression to an NFA with ε-transitions: (5M)
(a/b)*abb
--- Content provided by FirstRanker.com ---
Unit - II
-
4.a) State and prove pumping lemma for regular sets. (5M)
b) Show that L = {0n1n | n ≥ 1} is not regular. (5M)
OR
5.a) Prove that regular sets are closed under complement, intersection, union and reversal. (5M)
--- Content provided by FirstRanker.com ---
b) Minimize the following finite automaton using Myhill-Nerode Theorem. (5M)
Note: Replace 'https://www.firstranker.com/sample_image3.png' with the actual image URL if available.
Unit - III
-
6.a) Convert the following grammar to Chomsky Normal Form (CNF). (5M)
S → aA | bB | a | b
A → aSa | a
--- Content provided by FirstRanker.com ---
B → bSb | b
b) Design a PDA for the language L = {anbn | n ≥ 1}. (5M)
OR
7.a) Design a PDA for the language L = {wcwR | w ∈ (a+b)*}. (5M)
b) Explain different types of acceptance of a PDA. (5M)
--- Content provided by FirstRanker.com ---
Unit - IV
-
8.a) Design a Turing Machine to accept the language L = {anbncn | n ≥ 1}. (5M)
b) Explain the different types of Turing Machines. (5M)
OR
9.a) Design a Turing Machine to accept the language L = {wwR | w ∈ (a+b)*}. (5M)
--- Content provided by FirstRanker.com ---
b) Write short notes on Universal Turing Machine. (5M)
Unit - V
-
10.a) Define decidability and undecidability. Give an example of undecidable problem. (5M)
b) State and prove post correspondence problem. (5M)
OR
--- Content provided by FirstRanker.com ---
11.a) Show that halting problem of a Turing Machine is undecidable. (5M)
b) Write short notes on Modified PCP. (5M)
--o00o--
Get more at: FirstRanker.com
--- Content provided by FirstRanker.com ---
This download link is referred from the post: AKTU B-Tech Last 10 Years 2010-2020 Previous Question Papers || Dr. A.P.J. Abdul Kalam Technical University
--- Content provided by FirstRanker.com ---