SlideShare a Scribd company logo
PUSHDOWN AUTOMATA
INTRODUCTION AND EXPLAINATION;
Context free grammar
 Context free grammar is the root of PDA.
 It is a generating device or it is the root of whole domain.
 It is generate CFL and the language that is generated by CFG is accepted by
PUSHDOWN AUTOMATA.
 Here we not concerned with context free grammar or PDA we just focus of CFL.
 PDA consist on two parts.
1. Deterministic PDA
2. Non deterministic PDA
CONT..
In case of finite automata;
The deterministic is not different with non deterministic, the DFA is already a subset
of NFA.
NFA can be translate into DFA; but here the phenomenon is different.
The power of NDPDA is greater then power of DPDA.
We cannot translate it because NDPDA has greater power.
NDPDA>DPDA
CONT…
 Context free language is defined as;
The language that we make PDA is called CFL.
Block diagram of PDA
Cont.. PDA
The power of NDPDA can accept all context free language but;
The power of DPDA cannot accept all context free language,, it accept some
languages, that language further divide into parts
 CFL
 DCFL(that accepts only deterministic pushdown automata).
Tuples of PUSHDOWN AUTOMATA
 A PDA can be formally described as a 7-tuple (Q, Σ, S, δ, q0, I, F):
 Q is the finite number of states
 Σ is input alphabet
 S is stack symbols
 δ is the transition function: Q × (Σ∪{ε}) × S × Q × S*
 q0 is the initial state (q0 ∈ Q)
 I is the initial stack top symbol (I ∈ S)
 F is a set of accepting states (F ∈ Q)
Point to be noted in PDA
 First it is the combination of FINITE AUTOMATA+ STACK.
 And why we use stack data structure in PDA whenever we have many type of data
structures?
ANSWER:-
Here we apply data structure to resolve memory; in other data structure the phenomenon
that is used, where we want to insert and where we want to delete an element; moreover
in other type of data structures we have a limited number of elements that we insert and
we check there UNDERFLOW & OVERFLOW.
In stack we push single element and when pop it, if the special symbol if we see it means
the stack is empty we don’t pop any more or not check the underflow.
Transition diagram of DPDA and NDPDA
respectively.
How to read PUSHDOWN AUTOMATA
There are three basic functionality to read push down automata.
 Push
 Pop
 Skip
Cont.. Push,
Cont.. Pop
Cont.. Skip
Example of PDA
Cont.. E.g.
THANK YOU!
NADIA
ROLL NO 22
BSCS 4TH SMESTER MORNING

More Related Content

PPTX
Push down automata
PPTX
push down automata
PPT
pushdown automata
PPTX
Pushdown Automata Theory
PPTX
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
PPTX
Push down automata
PPTX
Two-way Deterministic Finite Automata
PDF
Push down automata
push down automata
pushdown automata
Pushdown Automata Theory
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDA
Push down automata
Two-way Deterministic Finite Automata

What's hot (20)

PPT
Finite automata
PPT
Pushdown automata
PDF
Applications of stack
PPT
Context free languages
PPTX
3.1,2,3 pushdown automata definition, moves & id
PPTX
LINEAR BOUNDED AUTOMATA (LBA).pptx
PPTX
Cohen sutherland line clipping
PPTX
Decision properties of reular languages
PPTX
Problem reduction AND OR GRAPH & AO* algorithm.ppt
PPTX
Introduction to stack
PPTX
NFA & DFA
PPTX
Stack - Data Structure - Notes
PPT
PDF
Finite automata
PPTX
CFG to CNF
PPT
Regular Grammar
PPTX
Theory of Automata and formal languages unit 1
PPTX
Lecture 21 problem reduction search ao star search
Finite automata
Pushdown automata
Applications of stack
Context free languages
3.1,2,3 pushdown automata definition, moves & id
LINEAR BOUNDED AUTOMATA (LBA).pptx
Cohen sutherland line clipping
Decision properties of reular languages
Problem reduction AND OR GRAPH & AO* algorithm.ppt
Introduction to stack
NFA & DFA
Stack - Data Structure - Notes
Finite automata
CFG to CNF
Regular Grammar
Theory of Automata and formal languages unit 1
Lecture 21 problem reduction search ao star search
Ad

Similar to push down automata (20)

PPTX
539_PDA push down automata_ d_b_m_s.pptx
PDF
Free Ebooks Download ! Edhole
PPTX
Unit iv
PPTX
Pushdown_Automata_Presentation in Automata theory and compiler design
PPTX
csc218pushdownautomata-160627235627.pptx
PPTX
Push down automata
DOCX
UNIT III.docx
PPT
Pushdown-Automata_L1.ppt
PDF
push down automata- theoretical foundations of computations
PPTX
Unit 2 Pumping lemma Unit 2 Pumping lemma
PPT
2-stack-Push Down Automata(PDA)_TOComp.ppt
PPTX
Pushdown Automata toc presentation 2025.pptx
PPTX
Module 4 PDA updated Theory of computation.pptx
PPT
Pushdown Automaton (1).ppt
PPTX
Pushdown autometa
PPTX
PDA (pushdown automaton)
PPTX
Context-free Language, Grammar and Push Down Automata
PPT
Designing of a Determinstic Push Down Atomaton
PPTX
PDF
Phttp://www.cw360ms.com/pmsurveyresults/index.aspda
539_PDA push down automata_ d_b_m_s.pptx
Free Ebooks Download ! Edhole
Unit iv
Pushdown_Automata_Presentation in Automata theory and compiler design
csc218pushdownautomata-160627235627.pptx
Push down automata
UNIT III.docx
Pushdown-Automata_L1.ppt
push down automata- theoretical foundations of computations
Unit 2 Pumping lemma Unit 2 Pumping lemma
2-stack-Push Down Automata(PDA)_TOComp.ppt
Pushdown Automata toc presentation 2025.pptx
Module 4 PDA updated Theory of computation.pptx
Pushdown Automaton (1).ppt
Pushdown autometa
PDA (pushdown automaton)
Context-free Language, Grammar and Push Down Automata
Designing of a Determinstic Push Down Atomaton
Phttp://www.cw360ms.com/pmsurveyresults/index.aspda
Ad

Recently uploaded (20)

PPTX
Introuction about WHO-FIC in ICD-10.pptx
PDF
Cloud-Scale Log Monitoring _ Datadog.pdf
PPTX
PptxGenJS_Demo_Chart_20250317130215833.pptx
PPTX
Module 1 - Cyber Law and Ethics 101.pptx
PPTX
Internet___Basics___Styled_ presentation
PPTX
Funds Management Learning Material for Beg
PPT
Design_with_Watersergyerge45hrbgre4top (1).ppt
PDF
Triggering QUIC, presented by Geoff Huston at IETF 123
PPTX
522797556-Unit-2-Temperature-measurement-1-1.pptx
DOCX
Unit-3 cyber security network security of internet system
PDF
Decoding a Decade: 10 Years of Applied CTI Discipline
PDF
The New Creative Director: How AI Tools for Social Media Content Creation Are...
PPTX
INTERNET------BASICS-------UPDATED PPT PRESENTATION
PDF
APNIC Update, presented at PHNOG 2025 by Shane Hermoso
PPT
tcp ip networks nd ip layering assotred slides
PPTX
artificial intelligence overview of it and more
PDF
Slides PDF The World Game (s) Eco Economic Epochs.pdf
PDF
Unit-1 introduction to cyber security discuss about how to secure a system
PPTX
Slides PPTX World Game (s) Eco Economic Epochs.pptx
PPTX
QR Codes Qr codecodecodecodecocodedecodecode
Introuction about WHO-FIC in ICD-10.pptx
Cloud-Scale Log Monitoring _ Datadog.pdf
PptxGenJS_Demo_Chart_20250317130215833.pptx
Module 1 - Cyber Law and Ethics 101.pptx
Internet___Basics___Styled_ presentation
Funds Management Learning Material for Beg
Design_with_Watersergyerge45hrbgre4top (1).ppt
Triggering QUIC, presented by Geoff Huston at IETF 123
522797556-Unit-2-Temperature-measurement-1-1.pptx
Unit-3 cyber security network security of internet system
Decoding a Decade: 10 Years of Applied CTI Discipline
The New Creative Director: How AI Tools for Social Media Content Creation Are...
INTERNET------BASICS-------UPDATED PPT PRESENTATION
APNIC Update, presented at PHNOG 2025 by Shane Hermoso
tcp ip networks nd ip layering assotred slides
artificial intelligence overview of it and more
Slides PDF The World Game (s) Eco Economic Epochs.pdf
Unit-1 introduction to cyber security discuss about how to secure a system
Slides PPTX World Game (s) Eco Economic Epochs.pptx
QR Codes Qr codecodecodecodecocodedecodecode

push down automata

  • 2. Context free grammar  Context free grammar is the root of PDA.  It is a generating device or it is the root of whole domain.  It is generate CFL and the language that is generated by CFG is accepted by PUSHDOWN AUTOMATA.  Here we not concerned with context free grammar or PDA we just focus of CFL.  PDA consist on two parts. 1. Deterministic PDA 2. Non deterministic PDA
  • 3. CONT.. In case of finite automata; The deterministic is not different with non deterministic, the DFA is already a subset of NFA. NFA can be translate into DFA; but here the phenomenon is different. The power of NDPDA is greater then power of DPDA. We cannot translate it because NDPDA has greater power. NDPDA>DPDA
  • 4. CONT…  Context free language is defined as; The language that we make PDA is called CFL. Block diagram of PDA
  • 5. Cont.. PDA The power of NDPDA can accept all context free language but; The power of DPDA cannot accept all context free language,, it accept some languages, that language further divide into parts  CFL  DCFL(that accepts only deterministic pushdown automata).
  • 6. Tuples of PUSHDOWN AUTOMATA  A PDA can be formally described as a 7-tuple (Q, Σ, S, δ, q0, I, F):  Q is the finite number of states  Σ is input alphabet  S is stack symbols  δ is the transition function: Q × (Σ∪{ε}) × S × Q × S*  q0 is the initial state (q0 ∈ Q)  I is the initial stack top symbol (I ∈ S)  F is a set of accepting states (F ∈ Q)
  • 7. Point to be noted in PDA  First it is the combination of FINITE AUTOMATA+ STACK.  And why we use stack data structure in PDA whenever we have many type of data structures? ANSWER:- Here we apply data structure to resolve memory; in other data structure the phenomenon that is used, where we want to insert and where we want to delete an element; moreover in other type of data structures we have a limited number of elements that we insert and we check there UNDERFLOW & OVERFLOW. In stack we push single element and when pop it, if the special symbol if we see it means the stack is empty we don’t pop any more or not check the underflow.
  • 8. Transition diagram of DPDA and NDPDA respectively.
  • 9. How to read PUSHDOWN AUTOMATA There are three basic functionality to read push down automata.  Push  Pop  Skip
  • 15. THANK YOU! NADIA ROLL NO 22 BSCS 4TH SMESTER MORNING