CS 342 Lecture -*- Outline -*-

* simulator
	program that reads text (e.g., from a Unix file or the terminal)
		which encodes
			- the finite state control of a TM
			- the nonblank portion of the initial tape
	follows the instructions of the TM on the input
	outputs (if it halts)
			- acceptance/rejection
			- the final tape

	extensions: watch it as it runs