Theory of Computation (TOC) SPPU Insem Question Paper Oct 2022
All 4 questions from this SPPU insem paper, as printed. Read them here or open the PDF.
- Subject code
- 314441
- Pattern
- 2019 pattern
- Exam
- Insem
- Session
- Oct 2022
- Max. marks
- 30
- Time
- 1 Hour
- Semester
- I
- Paper code
- Oct-22/TE/Insem-557
Printed for: T.E. (Information Technology)
Instructions to the candidates
- Answer Q.1 or Q.2, Q.3 or Q.4.
- Neat diagrams must be drawn wherever necessary.
- Figures to the right indicate full marks.
- Assume suitable data, if necessary.
Questions
Q1
- a)[5]
Design a DFA which accepts a binary number divisible by 4.
- b)[4]
Design a Mealy machine to increment binary number by 1. Write down transition table.
- c)[6]
This part has equations that don’t show as text. Open the PDF to read it.
OR- a)
Q2
- a)[6]
Define the following terms with proper examples. i) Alphabets ii) String iii) Natural language
- b)[5]
This part has equations that don’t show as text. Open the PDF to read it.
- c)[4]
Construct a DFA over the alphabet {a, b} for accepting the strings ending with “ab”.
- a)
Q3
- a)[5]
Find the regular expression for the set of strings recognized by the given FA using Arden’s theorem.
- b)[6]
Determine the regular expression over the alphabet {0, 1} for the following : i) All the string containing exactly two 0’s ii) All the string that do not end with 01 iii) All the string containing 1 as a third character from end.
- c)[4]
Explain the following terms : i) Kleene closure ii) Positive closure
OR- a)
Q4
- a)[6]
Explain any three closure properties of Regular language.
- b)[5]
What is a Regular expression? Explain in brief the applications of regular expressions.
- c)[4]
Construct a NFA for the following RE using direct method RE = (ab + ba)*aa
- a)