Partielle Auswertung einer imperativen Sprache, Folie 9: Übergangskomprimierung

Übergangskomprimierung

Ergebnis des Algorithmus zur Berechnung von poly:

	`(search, (z,(x y z))):`	`goto (cont, (z,(x y z)));`
	`(cont, (z,(x y z))):`	`valuelist := tl(valuelist); goto (search, (z,(y z)));`
	`(search, (z,(y z))):`	`goto (cont, (z,(y z)));`
	`(cont, (z,(y z))):`	`valuelist := tl(valuelist); goto (search, (z,(z)));`
	`(search, (z,(z))):`	`goto (found, (z,(z)));`
	`(found, (z,(z))):`	`value := hd(valuelist);`

Entfernung überflüssiger goto's:

(search, (z,(x y z))): valuelist := tl(valuelist);

valuelist := tl(valuelist);
value := hd(valuelist);