Colloquium über Automatentheorie (1965 Hannover)