History of TuringMachine

Difference (from prior major revision) (no other diffs)

Changed: 1c1

A model of computation studied in TheoComp?. The most powerful model of computation there is, if you believe the Church-Turing Hypothesis, and I know I do.

A model of computation studied in TheoComp?, CS81, CS60, and probably elsewhere. The most powerful model of computation there is, if you believe the Church-Turing Hypothesis, and I know I do.

Changed: 15c15

The main CS server is a machine named Turing. It is not, however, just a TuringMachine.

The main CS server used to be a machine named Turing. It was not, however, just a TuringMachine.

	Revision 5 . . April 21, 2008 18:51 by JamesBrown [That needed updating.]