Читать книгу Algorithmen und Datenstrukturen - Gunter Saake - Страница 90

Für einen gegebenen Term 2X + 1 ist der Wert im Zustand Z durch 2 · Z (X) + 1 festgelegt.

Der so bestimmte Wert eines Ausdrucks t(X₁, …, X_n) wird mit Z(t(X₁, …, X_n)) bezeichnet.