Theorietag Automaten und Formale Sprachen (28. : 2018 : Wittenberg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wittenberg