Theory of Computing

Table of contents

Title

Informal Definition

Formal Definition

Definition: delta

PDA Transition Diagram

Instantaneous Descriptions

PDA Moves - 1

PDA Moves - 2

PDA IDs and Moves - 1

PDA IDs and Moves - 2

PDA IDs and Moves - 3

PDA Languages

Thm 6.9 - 1

Thm 6.9 - 2

Thm 6.9 - 3

Thm 6.9 Ex - 1

Thm 6.9 Ex - 2

Thm 6.11 - 1

Thm 6.11 - 2

Thm 6.11 - 3

PDA=CFG

CFG->PDA - 1

CFG->PDA - 2

CFG->PDA - 3

CFG->PDA - 4

Theorem 6.13 - 1

PDA->CFG - 1

Theorem 6.14 - 1

Theorem 6.14 - 2

Theorem 6.14 - 3

PDA->CFG - 2

PDA->CFG - 3

PDA->CFG - 4

PDA->CFG - 5

DPDA Definition

DPDA Example

RLs and DPDAs

Theorem 6.19

DPDAs and CFLs

Alternate construction - 1

Alternate construction - 2

Alternate construction - 3

Alternate construct Ex - 1

Alternate construct Ex - 2

Alternate construct Ex - 3

Alternate construct Ex - 4

Alternate construct Ex - 5

Alternate construct Ex - 7

Alternate construct Ex - 8

Copyright and IP Notice

Author: Dr. J

E-mail: Juliano@ecst.csuChico.edu

Homepage: http://www.ecst.csuchico.edu/~juliano

Further information:
Computer Science @ California State University, Chico