Proceding of the symposiom on mathematical theory of automatic : New York, April 24, 25, 26, 1962