Symposium on Mathematical Theory of Automata (1962 New York)