Verslag van bezoek aan de Arbeitstagung fuer Automatentheorie te Hanover