A critique of Putnam's Theorem
Jennifer Shattuck
J. O'Rourke and Jennifer Shattuck.
Does a rock realize every finite automaton? A critique of Putnam's theorem.
Technical Report 30, Dept. Comput. Sci., Smith College, July 1993.
Supported by Schultz.
Advisor: Joseph O'Rourke