File:TheoryPDA (1997).png