Keller

Def.:

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

Schnittstelle des ADT Keller:

push : Keller × Objekt Keller legt Element auf Keller

pop : Keller Keller entfernt oberstes Element

top : Keller Objekt liefert oberstes Element

empty : Keller boolean liefert true, falls Keller leer ist

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 .

Implementation eines Kellers mit Verweisen

Implementation eines Kellers mit einem Array

Source: Keller.java     JavaDoc: Keller.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: