Subject Code: 160704
--- Content provided by FirstRanker.com ---
GUJARAT TECHNOLOGICAL UNIVERSITY
BE - SEMESTER- VI (Old) EXAMINATION - WINTER 2019
Date: 11/12/2019
Subject Name: Theory Of Computation
Time: 02:30 PM TO 05:00 PM Total Marks: 70
--- Content provided by FirstRanker.com ---
Instructions:
- Attempt all questions.
- Make suitable assumptions wherever necessary.
- Figures to the right indicate full marks.
Q.1 (a) | Explain one to one and onto functions with example. Give inverse of the function f: R-> R, f(X) = X? | 07 |
(b) | Prove 1+2+3+... + n = (n*(n+1)) / 2 using Principal of Mathematical Induction | 07 |
Q.2 (a) | Define Regular Expression. Find Regular Expression corresponding to each of the following subsets of {0,1}*:
--- Content provided by FirstRanker.com --- | 07 |
(b) | Draw FAs recognizing following languages, L1 = {x|00 is not a substring of x } L2 = { x| x ends with 01 } Draw FA accepting the language L1 U L2 | 07 |
OR | ||
Q.3 (a) | Explain Distinguishable strings with example. Draw FA corresponding to a Regular Expression (R.E.) = (11+110)*0, where S = {0,1} | 07 |
(b) | Define NFA - ?. Give Recursive Definition of d* for DFA,NFA and NFA — ?. Draw NFA recognizing the language ({0,1}*{10} U {00}*{11}*) * using kleene’s theorem part 1, where S = {0,1} | 07 |
OR | ||
Q.3 (a) | Define Pumping Lemma for Regular Languages. Show that following language is not a Regular Language using Pumping Lemma L={0i1i|i>=0}, where S = {0,1} | 07 |
(b) | Define CFG. Give CFG for L= {0i 1j 0k |j > i+k } Convert following CFG to Chomsky Normal Form,
--- Content provided by FirstRanker.com --- | 07 |
Q.4 (a) | Define PDA. Give DPDA for CFG S ?SS| [S] | {S} |? | 07 |
OR | ||
Q.4 (a) | Give Bottom Up PDA for following CFG,
| 07 |
(b) | Prove that following Grammar is an Ambiguous Grammar S?S+S|S*S|(S)|a Draw parse tree for string a+a*a using above grammar | 07 |
Q.5 (a) | Draw Turing Machine (TM) accepting Palindrome over {a,b} | 07 |
(b) | Explain following terms
--- Content provided by FirstRanker.com --- | 07 |
OR | ||
Q.5 (a) | Draw Turing Machine (TM) accepting {SS | S ? {a,b}*} | 07 |
(b) | Explain unbounded minimization and µ recursive functions | 07 |
This download link is referred from the post: GTU BE/B.Tech 2019 Winter Question Papers || Gujarat Technological University
--- Content provided by FirstRanker.com ---