Al and Izzy: Composites
This Java applet is designed to help you understand the pumping
theorem for regular languages. For background see Section 4.9.1 of
the Language of Machines by Floyd and Beigel.
You will play the role of Al and the computer will play the role of
Izzy. The language in question is
{an : n is not prime}
Note: Most choices of z won't work. Use the UNDO button a lot
until you get the idea.
You might find a table of prime numbers helpful.
Please send comments and suggestions to Professor Beigel.