Skip to content
Previous Year Question Paper

AL-601 - Theory of Computation

June 2026•AIML•SEMESTER-6
June 2026
Max Marks: 70
Duration: 3 Hours
Instructions:

• Attempt any five questions.

• All questions carry equal marks.

Q.1
a)Unit 1

Convert the following Mealy machine into equivalent Moore machine.

Mealy Machine
Mealy machine figure for June 2026 Q.1(a).
b)Unit 2

Draw the DFA for the following language over {0,1} such that all the strings with even number of 0's and even number of 1's.

Q.2
a)Unit 2

Design Finite Automata which checks whether a given binary number is divisible by three.

b)Unit 1

Explain different types of automata machines in detail.

Q.3
a)Unit 2

How does Two-Way DFA differ from ordinary DFA?

b)Unit 2

Construct DFA equivalent to given NFA.

State\Input01
→p{p,q}\{p, q\}p
qrr
rs—
sss
Q.4
a)Unit 2

Construct an ε\varepsilon-NDFA for the regular expression (a+b)∗ab(a+b)^*ab.

b)Unit 2

State and prove Arden's Theorem.

Q.5
a)Unit 3

Explain different types of grammars with suitable examples.

b)Unit 3

Define Chomsky normal form and Greibach normal form in reference to context free languages. Give suitable example.

Q.6
a)Unit 3

Explain a parse tree in detail.

b)Unit 3

Describe null (ε\varepsilon) production in detail.

Q.7
a)Unit 4

Define concept and working of Push Down Automata (PDA).

b)Unit 4

Explain the difference between deterministic and non-deterministic pushdown automata, giving their definition. Also give example of each.

Q.8
a)Unit 5

Explain the Halting problem in detail.

b)Unit 5

Explain how a Turing machine can be viewed as a computing device on functions involving integers.