részleges funkció
Leírás reális például még az olyan egyszerű, mint a verem elkerülhetetlenül találkozik a problémákat nem mindenhol egyes műveleteket: bizonyos műveletek nem lehet alkalmazni minden lehetséges elemet az eredeti készletek. Például ez a helyzet a funkciók és távolítható el: nem lehet törölni egy elemet egy üres verem, és a verem nem üres felső rész.
A megoldás erre a problémára, a leírásban használt fenti, az, hogy meghatározza ezeket a funkciókat, mint a részleges. A funkció a kezdeti X az eredmény meg Y jelentése részleges. ha ez nem meghatározható minden elemét X. A funkció, amely nem egy részleges úgynevezett teljes. Egy egyszerű példa részleges funkció a szokásos matematikai függvénye kezelésére valós számok inv, amelynek értéke egy x valós szám van
Mivel inv nincs definiálva az x = 0, akkor határozza meg, mint a részleges függvény az R halmaza az összes valós számok:
Annak jelzésére, hogy a függvény parciális használjon keresztbe nyilat, és a szokásos shooter azt jelentené, hogy a függvény nyilvánvalóan teljes.
Region (meghatározó) részleges funkció típust egy részhalmaza az elemek X, amelyre ez a funkció értéke. A példánkban a terület függvénye inv R -, azaz a A valós számok halmaza nem 0.
Bizonyos esetekben kívánatos, hogy ugyanazt a funkciót le, mint egy részleges, például arra van szükség, az ilyen kiviteli alakokban a MASSIV_VVERH és MASSIV_VNIZ támogató végrehajtása véges számú, egymást követő műveletek, hogy minden adott köteg. Ez tulajdonképpen egy hasznos gyakorlat - alkalmazkodni LERAKÁSI leírás, hogy ő le a korlátozott verem végső térfogata, mint a fenti formában nem tartalmaz semmilyen korlátozást stackek.