SI472 ¤ Theory of Computing ¤ Fall 2000