Programtranszformációk

Programtranszformációk alatt az algoritmus azon ekvivalens átalakításait értjük, amelyek célja hatékonyabb, egyszerűbb és/vagy átláthatóbb kód írása.

Ha feltétel teljesül, akkor algoritmus₁ = algoritmus₂ (szemantikusan)

Megjegyzés: ZH-kon nem kötelező elem ezeknek a használata, ám nélkülük kevesebb pontot fog érni a megoldásunk!

A következőkben nevezetes programtranszformációk kerülnek felsorolásra.

$$ \text{a,b,c := f(x), g(x), h(x)} \\ \Downarrow \\ \text{a:=f(x); b:=g(x); c:=h(x)} $$

Horváth Győző, Horváth Gyula, Szlávi Péter, Törley Gábor: Programozási alapismeretek 6. előadás (ppt) (előadó: Törley Gábor)