1. Fachtagung über Automatentheorie und Formale Sprachen