Redukční strategie (optimalizace kódu) - Reduction strategy (code optimization)
 | tento článek ne uvést žádný Zdroje. (Červen 2008) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
v optimalizace kódu při překladu počítačových programů do spustitelné formy a při matematické redukci obecně, a redukční strategie pro systém přepisování termínů určuje, které redukovatelné dílčí termíny (nebo redukovatelné výrazy, redexes) by měl být snížen (smluvně) v termínu; může se stát, že termín může obsahovat více redexů, které jsou vzájemně nesouvislé a že volba uzavřít kontrakt s jedním redexem před druhým nemusí mít žádný vliv na výslednou redukovanou formu termínu, nebo že se redexy v termínu překrývají a že volba uzavřít smlouvu s jedním z překrývajících se redexů nad druhým může mít za následek jinou redukovanou formu termínu. Zvolenou strategii určuje výběr redexu v každém kroku redukce na kontrakt. To lze chápat jako praktickou aplikaci teoretického pojmu redukční strategie v lambda kalkul.
Viz také
 | Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |