N.Y. 1962 Symposium on Mathematical Theory of Automata New York