Ursprünglich entstanden als einfache Syntaxchecker s "tks.AL" und "tks.FO" für die Arbeitsgruppe "Theorie komplexer Systeme" am Institut für Informatik der Goethe-Universität Frankfurt am Main.

Es wird keine Haftung für Schäden an Soft- oder Hardware, Vermögen oder Gesundheit übernommen, welche durch das Benutzen oder Nichtbenutzen des Programms entstehen. Es gibt keine Garantie dafür, dass die Nutzung zu einem bestimmten Zeitpunkt möglich ist, noch das die gelieferten Ergebnisse, auch nicht zufällig, richtig sind. Dies gilt insbesondere bei der Nutzung zur Lösung von Übungsaufgaben.

Fehlermeldungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de

changelog

28. November 2025
Anpassungen Design von AL, Einstellungen
Variablen dürfen mit _ beginnen
BUGfix: MathML mfenced wird nicht mehr unterstützt, deshalb fehlten Kommas und Klammern.
known bugs:
none

9. Juli 2018
Umzug zur HU
Umstellung auf php7
known bugs:
none

06. März 2015
bugfix: Zeile 11 MGU: Rekursiver Aufruf
none

06. Januar 2015
bugfix: Zeile 8 MGU: Form des Terms
none

02. Januar 2015
Berechnung des allgemeinsten Unfikators (MGU) zweier Terme
Anwenden von Substitutionen auf Terme
Variablen eines Terms
Verketten von Substitutionen
known bugs:
none