Formal Language & Automata Theory (Theory of Computation)

CSET3135B.Tech CSE2023-27

Mahatma Gandhi Central University, Bihar

B.Tech Computer Science & Engineering

Semester 5 Examination, 2025

Formal Language & Automata Theory (Theory of Computation) (CSET3135)

Faculty: Prof. Vikas PareekMaximum Marks: 95

Assessment Questions

Formal Language & Automata Theory (Theory of Computation) (CSET3135) - 2025

Section A (MCQ)

(MULTIPLE CHOICE QUESTIONS – 05 Marks) Attempt all questions. Each question carries one mark.

  • 1

    Which is the most powerful model?

  • 2

    Palindromes of even length can be recognized by:

  • 3

    Which of the following is false?

  • 4

    According to Arden’s theorem, if R = Q + RP

  • 5

    Let R be a relation on the set N of natural numbers defined by n R m ⇔ n divides m. Then, R is:

Section B (Short Answer)

Write briefly in 150 words (Short Answer Questions – 05 Marks) Attempt ANY TWO questions out of the followings. Each question carries 2.5 Marks.

  • 1

    State and explain Arden’s theorem.

  • 2

    Write a note on Chomsky Hierarchy.

  • 3

    Define an equivalence relation with suitable example.

Section C (Long Answer)

Write in 300 Words (Long Answer Questions – 10 Marks) Attempt the questions having internal choice. Each question carries 5 marks.

  • 1

    Answer any ONE of the following

    (a)

    Minimize the following automaton:

    Question 1(a) diagram

    OR

    (b)

    Explain the concept of pumping lemma for regular languages.

  • 2

    Answer any ONE of the following

    (a)

    Design a DFA L(M)={ww{0,1}},wL(M) = \{w \mid w \in \{0,1\}^*\}, w is a string that does not contain consecutive 1's and ends with a 1.

    OR

    (b)

    Construct a PDA for language L={0n1mn1,m1,m>n+2}L = \{0^n1^m \mid n \ge 1, m \ge 1, m > n+2\}.

End of Question Paper