Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, vermittelt und in Übungen mit Anwendungsbezug vertieft. Dabei werden vor allem Aspekte automatisierter...