For strongly normalising terms, any reduction strategy is guaranteed to yield the normal form, whereas for weakly normalising terms, some reduction strategies may fail to find it.
За снажне нормализујуће системе, било која редукциона стратегија гарантује позивање нормалне форме, док за слабо нормализујуће изразе, неке редукционе стратегије се можда неће извршити.