Tool für die Berechnung verschiedener Funktionen der Theoretischen Informatik