%0 Book %A Minsky, Marvin Lee, 1927- %I Prentice-Hall %D 1967 %C Englewood Cliffs NJ :, %G English %B Prentice-Hall series in automatic computation %T Computation: finite and infinite machines