Newer
Older
Vorraussetzungen:
swi-prolog
stack
tct-trs(über den link zu finden https://tcs-informatik.uibk.ac.at/tools/tct/download.php, ich versuche aktuell es einzubinden das es mitinstalliert wird.)
(tct-trs erfordert dies erfordert minismt und minismt erfordert ttt, beide haben ihre eigenen readme files)
(wenn die installation zu viele umstände macht kann man den aufruf manuell über die weboberfläche machen)
Wie man installiert soweit ich es sehe
stack install
man kann tct-trs für term rewriting online verwenden indem man den Inhalt der nebebenan erstellten TermRewritingSystem textdatei eingibt.
innermost rewriting sollte ausgewählt sein
der aufruf ist:
stack exec abstranalyser-exe <Programmpfad> <erwünschte Variablen(min das erste)>
kann aktuell nur aus dem ordner selbst aufgerufen werden, ich arbeite daran es besser zu machen
Die Argumente sind Filepath, erfordert
Anzahl der case nodes bevor instance nodes verwendet werden können, default = 5
menge an abstrakten Variablen die generiert werden bevor das Program nichttermination deklariert und abbricht, default = 1000
maximale Tiefe eines Zustands oder Eintrags in der non-Unifiable liste bevor Generalisation passiert, default = 2* argument 2
Anzahl der case nodes bevor parallel nodes verwendet werden können, default = argument 2
Anzahl der case nodes bevor generalize nodes verwendet werden können, default = argument 2 + 2
Anzahl der case nodes bevor split nodes verwendet werden können, default = argument 2
zum beispiel
abstranalyser-exe examples/linear/append/append.pl 5 1000
Das Programm Verwendet den Groundness Analyzer von Peter Schachte der in seinem eigenen Ordner hier dabei ist,
sowie die TCT-TRS von der Theoretical Computer Science Gruppe an der Universität Innsbruck.
zur erstellung wurde auch Happy verwendet.
Der Rest ist geschrieben von mir, Morgan Couapel