Übung GC (I)

Finden Sie geeignete JVM-Konfigurationen für das Programm KnockedForLoops:

• http://www.imn.htwk-leipzig.de/~waldmann/edu/ws09/pps/extra/kfl/KnockedForLoops.jar
• Archiv mit Eingabedateien (TPDB 5.0.2): http://dev.aspsimon.org/projects/termcomp/downloads/
• Testfall:

  java -jar KnockedForLoops.jar tpdb-5.0/SRS/Gebhardt/06.srs
  

  sollte (sehr schnell) eine Ausgabe dieser Form liefern:

  Enumerating derivations modulo
  ( RULES 0 0 0 0 -> 0 1 0 1 , 1 0 0 1 -> 0 1 0 0 )
  
  NO
  Loop of length 27 starting with a string of length 15
  found after enumerating 14077 derivations:
  
  .aaaa.ababbababaa
  	rule aaaa -> baba at position 0
  ...
  

• Resultatliste zum Vergleich: http://www.lri.fr/~marche/termination-competition/2007/webform.cgi?command=srs&file=srs-standard.db&timelimit=120

  alle Zeilen mit wenigstens einem roten Block sollten zu einer Ausgabe führen und darüber hinaus möglichst viele komplett gelbe.

  Interessante Testfälle: SRS/Gebhardt/10.srs, SRS/Endrullis/08.srs, SRS/Waldmann07a/size-11-alpha-3-num-4.srs, SRS/Waldmann07b/size-12-alpha-3-num-{174, 292, 340, 363, 386, 400, 403, 408, 430}.srs

Probieren Sie aus,

• mit welchen JVM-Optionen Sie diese Probleme möglichst schnell lösen können
• und evtl. welche weiteren (gelben).

Dramatis Personae:

• Autor des Programmes KnockedForLoops ist Dieter Hofbauer http://www.theory.informatik.uni-kassel.de/~hofbauer/
• Autor vieler Terminationsprobleme ist Andreas Gebhardt http://www.informatik.uni-halle.de/arbeitsgruppen/datenstrukturen/mitarbeiter/gebhardt/
• Information zur Termination Competition: http://www.termination-portal.org/wiki/Termination_Competition
• Wenn Sie ein Diplom/Master-Thema aus diesem Bereich bearbeiten möchten, dann melden Sie sich bei mir (J.W.)