Reduction Algorithm

• unique maximal reduction

• often gives a compact and useful analysis

• good starting point

• allows many variations

• prototype in Smalltalk

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen