Fachtagung über Automatentheorie und Formale Sprachen 1st Bonn 1973.