Typen nur kleine Terme sind und sich zudem nicht zu expandierenden Strukturen aufbauen, kann man sie in der Komplexitätsanalyse als kleiner als eine bestimmte Konstante betrachten, so dass die O(1) Kosten gewahrt bleiben. === Der Algorithmus W im Original === In der Originalpublikation wird der Algorithmus formaler in einem Substitutionsstil besc...