theory of computation

22
Source of slides: Introduction to Automata Theory, Languages and Computat

Upload: jett

Post on 05-Jan-2016

91 views

Category:

Documents


1 download

DESCRIPTION

Theory of Computation. Pushdown Automata. Source of slides: Introduction to Automata Theory, Languages and Computation. Prof. Muhammad Saeed. Pushdown Automata. Pushdown Automata. Pushdown Automata. Pushdown Automata. NotationalConventions for PDa. Pushdown Automata. Pushdown Automata. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Theory  of Computation

Source of slides: Introduction to Automata Theory, Languages and Computation

Page 2: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 2

Pushdown AutomataPushdown Automata

Page 3: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 3

Pushdown AutomataPushdown Automata

Page 4: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 4

Pushdown AutomataPushdown Automata

Page 5: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 5

Pushdown AutomataPushdown Automata

NotationalConventions for PDa

Page 6: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 6

Pushdown AutomataPushdown Automata

Page 7: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 7

Pushdown AutomataPushdown Automata

Page 8: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 8

Pushdown AutomataPushdown Automata

Page 9: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 9

Pushdown AutomataPushdown Automata

Instantaneous Description of PDA

Page 10: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 10

Pushdown AutomataPushdown Automata

Page 11: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 11

Pushdown AutomataPushdown Automata

Page 12: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 12

Pushdown AutomataPushdown Automata

Theorems

Page 13: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 13

Pushdown AutomataPushdown Automata

Acceptance by Final State

Acceptance by Empty Stack

Languages of PDA

Page 14: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 14

Pushdown AutomataPushdown Automata

Page 15: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 15

Pushdown AutomataPushdown Automata

Page 16: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 16

Pushdown AutomataPushdown Automata

Page 17: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 17

Pushdown AutomataPushdown Automata

Page 18: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 18

Pushdown AutomataPushdown Automata

From Final State To Empty Stack

Page 19: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 19

Pushdown AutomataPushdown Automata

Equivalence of PDA’s and CFG’s

Page 20: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 20

Pushdown AutomataPushdown Automata

From Grammars to Pushdown Automata

Page 21: Theory  of Computation

Dept. of Computer Science & IT, FUUAST Theory of Computation 21

Pushdown AutomataPushdown Automata

PDA P that accepts L(G) by Empty Stack

Page 22: Theory  of Computation

END

Dept. of Computer Science & IT, FUUAST Theory of Computation 22