Eine Folge von Operanden (Zahlen) und Operatoren (, , , ) ist ein gültiger Postfix-Ausdruck, wenn

• die Zahl der Operanden genau um eins größer ist als die Zahl der Operatoren und
• es links von jeder Position mindestens einen Operanden mehr gibt als Operatoren.

Die Folge von Operanden und Operatoren wird von links nach rechts abgearbeitet:

• ein Operand wird immer auf den Stack gelegt (push).
• liegt ein Operator vor, so werden die letzten beiden Operanden vom Stack geholt (pop) und mit dem Operator verknüpft.
• Das Ergebnis wird wieder auf den Stack gelegt (push).
• Am Ende enthält der Stack genau eine Zahl: die Auswertung des Postfix-Ausdrucks.