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