Der \(\lambda\)-Kalkül wird als Berechnungsmodell (computation model) betrachtet und die Relation \(A\triangleright B\) als transitive Hülle der Reduktion \(F\to G\) daraufhin untersucht, ob sie eine minimale Form hat. In §1 werden die Begriffe der Normal- und Minimalform eingeführt und der Beweis erbracht, daß die Menge der Terme, die Minimalformen haben, nicht eine rekursive Menge ist. Ferner wird unter Anwendung einer Strategie (cofinal strategy) gezeigt, wann ein Term eine Minimalform hat. In §2 wird dann die Knuth-Gross-Strategie (G) als cofinal strategy eingeführt und als Theorem 5 bewiesen, daß \(A\) genau dann in Minimalform ist, wenn die Strategie G auf \(A\) angewandt auf \(A\) führt, woraus ein Algorithmus zur Bestimmung der Minimalform folgt. Schließlich wird gezeigt, daß die Eigenschaft eines generischen Terms, eine Minimalform zu haben, ein semi-entscheidbares Prädikat ist.