Project 1
Selmer Bringsjord
Build, in Turing's World, the nondeterministic Turing machine M-c described in the file "Remarks on Nondeterminism"
(.ps)
(.dvi).
Due Feb 6.