Al and Izzy Pump in context: Squares

This Java applet is designed to help you understand the first pumping theorem for context-free languages. For background see Sections 4.9.1 and 5.8 of the Language of Machines by Floyd and Beigel.

Name:
You will play the role of Al and the computer will play the role of Izzy. The language in question is
{an2 : n >= 0}

Note 1: Once your confidence is built up, check the HARD box.

Note: Compare your strategy to the strategy on Page 303.

Please send comments and suggestions to Professor Beigel.