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."

Signature:___________________________________________

  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.)