Theorietag Automaten und Formale Sprachen (15 : 2005 : Lauterbad) Bezüge im Wissensnetz Veranstaltungsort (1) GND Freudenstadt