Legyen , . Konstruáljuk az programot az alábbi módon:

Ekkor az program ekvivalens -sel -n.

Let , . Konstruáljuk az programot az alábbi módon:

Ekkor az program ekvivalens -sel -n.

Legyen , a következő szimultán értékadás:

Konstruáljuk az programot az alábbi módon:

Ekkor az program ekvivalens -sel -n.

Ha és az állapottér azon komponenseit amelyektől az függ nem változtatja meg és viszont, akkor ekvivalens -el. ____________________________________________________________________________________________________________________________________________ _____________________________________ ____________________________________________________________________________________________________________________________________________ _____________________________________

Legyen , és tegyük fel, hogy az konstans -ben. Legyen továbbá . ____________________________________________________________________________________________________________________________________________ _________________________ ______________________ ____________________________________________________________________________________________________________________________________________ ________________ ______________________

Ekkor ekvivalens -vel.

Legyen , . és legyen egy az altér felett definiált függvény, melynek értékkészlete . Tegyük fel továbbá, hogy az változók konstansok -ben, és készítsük el az programot az alábbi módon:

Ekkor ekvivalens -sel -n.

Legyen egy tetszőleges halmaz, egy egész szám, továbbá függvény, rögzített, és definiáljuk az függvényt az alábbi módon:

továbbá :

Tekintsük az alábbi programot:

ahol mind -ban, mind -ben konstans, és -ban hivatkozás történik értékére. Ekkor ekvivalens az alábbi programmal: