HamiIT
Sign inGet started
Home
ADD CONTENT

Sign in Required

Please sign in to add content

Sign In
ProgramsBsc CSITSemester 4Theory of Computation Unit V: Push Down Automata (7 Hrs.)
Chapter Study

Bsc CSIT Semester 4 – Theory of Computation – Unit V: Push Down Automata (7 Hrs.)

Comprehensive questions and detailed answers for Unit V: Push Down Automata (7 Hrs.). Perfect for exam preparation and concept clarity.

7
Questions
40
Marks
Back to All Chapters
1

How can you define the language accepted by a PDA? Explain how a PDA accepting language by empty stack is converted into an equivalent PDA accepting by final state and vice-versa.

HardNumerical10 marks2076(TU Final)
2

Construct a PDA accepting language over {0, 1} representing strings with equal no of 0s and1s. Show by sequence of IDs that 0101 is accepted by this PDA.

MediumTHEORY5 marks2076(TU Final)
3

Define a Push Down Automata. Construct a PDA that accepts L = {a b | n > 0}

MediumTHEORY5 marks2078(TU Final)
4

Give the formal definition of Push Down Automata. How CFG can be converted into equivalent PDA. Explain with an example.

MediumTHEORY5 marks2079(TU Final)
5

Design a PDA over {x,y} which accepts strings defined by the language L={ xnynxy∣n≥0 }L = \{\,x^n y^n x y \mid n \ge 0\,\}L={xnynxy∣n≥0}. Show acceptance of xyxy.

MediumTHEORY5 marks2080(TU Final)
6

How is PDA to CFG conversion done? Consider a PDA that accepts by empty stack, P=({p,q},{0,1}, {Z},δ,p,z); with δ defined as

δ(p,0,z)=(p,0z), δ(p,0,0)=(p,00), δ(p,1,0)=(p,ε), δ(p,ε,z)=(q,ε),

Now construct an equivalent CFG.

MediumTHEORY5 marks2080(TU Final)
7

Construct a PDA that accepts string over Σ ={a,b} that contains equal number of a’s followed by equal number of b’s. Show acceptance of aabb and aab.

MediumTHEORY5 marks2080(TU Final)
Showing 7 questions

Exam Years

Past question papers

2080
TU Final•1 questions
2080
TU Final•2 questions
2079
TU Final•1 questions
2078
TU Final•1 questions
2076
TU Final•2 questions

Questions in Unit V: Push Down Automata (7 Hrs.)

How can you define the language accepted by a PDA? Explain how a PDA accepting language by empty stack is converted into an equivalent PDA accepting by final state and vice-versa.

Marks: 10

Year: 2076 Final TU

Language Accepted by a Pushdown Automaton (PDA) Definition A Pushdown Automaton (PDA) is a 6-tuple: M = (Q, Σ, Γ, δ, q₀, Z₀, F) Where: - Q → Finite set of states - Σ → Input alphabet - Γ → Stack

Construct a PDA accepting language over {0, 1} representing strings with equal no of 0s and1s. Show by sequence of IDs that 0101 is accepted by this PDA.

Marks: 5

Year: 2076 Final TU

Language: L = { w ∈ {0,1} | number of 0s = number of 1s } --- Idea: The PDA uses its stack to store unmatched symbols. - When reading 0: - Push 0 if top is 0 or Z₀. - Pop if top is 1.

Define a Push Down Automata. Construct a PDA that accepts L = {a b | n > 0}

Marks: 5

Year: 2078 Final TU

Push Down Automata (PDA) Definition A Push Down Automata (PDA) is a computational model that extends finite automata with a stack memory. It can recognize context-free languages. Formal Definition P

Give the formal definition of Push Down Automata. How CFG can be converted into equivalent PDA. Explain with an example.

Marks: 5

Year: 2079 Final TU

Push Down Automata (PDA) and CFG to PDA Conversion 1. Formal Definition of PDA A Push Down Automata (PDA) is a mathematical model that extends a finite automata with a stack. Formally, a PDA is a

Design a PDA over {x,y} which accepts strings defined by the language \(L = \{\,x^n y^n x y \mid n \ge 0\,\}\). Show acceptance of xyxy.

Marks: 5

Year: 2080 Final TU

PDA for \(L = \{\,x^n y^n x y \mid n \ge 0\,\}\) and acceptance of xyxy --- 1. Informal idea - The PDA uses the stack to match the first block x^n with the next block y^n (push an X for each x, pop

How is PDA to CFG conversion done? Consider a PDA that accepts by empty stack, P=({p,q},{0,1}, {Z},δ,p,z); with δ defined as δ(p,0,z)=(p,0z), δ(p,0,0)=(p,00), δ(p,1,0)=(p,ε), δ(p,ε,z)=(q,ε), Now const

Marks: 5

Year: 2080 Final TU

Given PDA (accepts by empty stack) \(P=(\{p,q\},\{0,1\},\{Z\},\delta,p,Z)\) with transitions: - \(\delta(p,0,Z) = (p,0Z)\) — push 0 on top of Z when reading 0 - \(\delta(p,0,0) = (p,00)\) — push

Construct a PDA that accepts string over Σ ={a,b} that contains equal number of a’s followed by equal number of b’s. Show acceptance of aabb and aab.

Marks: 5

Year: 2080 Final TU

PDA for L = { aⁿbⁿ | n ≥ 0 } (Equal number of a’s followed by equal number of b’s) --- Intuition The PDA pushes an A for every a and pops an A for every b. If all As are popped and the input is fin

About Unit V: Push Down Automata (7 Hrs.) Questions

This page contains comprehensive questions from the Unit V: Push Down Automata (7 Hrs.) chapter of Theory of Computation , part of the Bsc CSIT Semester 4 curriculum. All questions include detailed model answers from past TU exam papers.

Study Tips

  • Review concepts before attempting questions
  • Practice writing complete answers
  • Compare your answers with model solutions
  • Focus on questions from recent years
  • Use direct links (#question-ID) to bookmark and share specific questions

Related Resources

← Back to Theory of Computation Chapters

Unit V: Push Down Automata (7 Hrs.) chapter questions with answers for Theory of Computation (Bsc CSIT Semester 4). Prepare for TU exams with our comprehensive question bank and model answers.

H
Hami IT

Empowering IT students with quality education resources and comprehensive exam preparation materials.

Programs

  • Flutter
  • Java
  • DevOps

Company

  • About Us
  • Contact

Contact

  • 📧hamiit.dev@gmail.com
  • 📞+977 9813706443
  • 📍Kathmandu, Nepal

© 2026 Hami IT. All rights reserved.