Theorietag Automaten und Formale Sprachen (3 : 1993 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern