CPSC 433: Quiz 1
January 19, 2006

Printed Name:________________________________________

"On my honor, as an Aggie, I have neither given nor received unauthorized aid on this academic work. In particular, I certify that I have not received or given any assistance that is contrary to the letter or the spirit of the collaboration guidelines for this assignment."


  1. (2 pts) Name two applications of the theory of automata.

  2. (1 pt) What is the purpose of a proof?

  3. (2 pts) Give an example of a set that is defined recursively. (Don't just give the name of the set -- write down the actual recursive definition.)