Theorietag Automaten und Formale Sprachen (12 : 2002 : Wittenberg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wittenberg