Keller

Def.:

Ein Keller ist eine (ggf. leere) Folge von Elementen zusammen mit einem so genannten (ggf. undefinierten) Top-Element.

Schnittstelle des ADT Keller:

empty	:	Keller	$\rightarrow$	boolean	liefert true, falls Keller leer ist, false sonst
push	:	Keller $\times$ Objekt	$\rightarrow$	Keller	legt Element auf Keller
pop	:	Keller	$\rightarrow$	Keller	entfernt oberstes Element
top	:	Keller	$\rightarrow$	Objekt	liefert oberstes Element

Semantik der Kelleroperationen:

A1)

Ein neu konstruierter Keller ist leer.

A2)

Nach einer Push-Operation ist ein Keller nicht leer.

A3)

Nach einer Push-Pop-Operation ist der Keller unverändert.

A4)

Nach der Push-Operation mit dem Element $x$ liefert die Top-Operation das Element $x$.

Source: Keller.java     JavaDoc: Keller.html    

Implementation eines Kellers mit Verweisen

Implementation eines Kellers mit einem Array

Source: VerweisKeller.java     JavaDoc: VerweisKeller.html     Source: Reverse.java     JavaDoc: Reverse.html     Applet: Source: Klammer.java     JavaDoc: Klammer.html     Applet: Source: CharKeller.java     JavaDoc: CharKeller.html    

Source: Postfix.java     JavaDoc: Postfix.html     Applet: