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

Unbestimmte

Gegeben sind im Folgenden zwei (unendliche, abzählbare) Mengen von Symbolen (als »Unbestimmte« bezeichnet):

 x, y, z, … vom Typ int

 q, p, r, … vom Typ bool

Terme mit Unbestimmten

Wir müssen nun unsere bisherige Definition von Termen (siehe Definition 2.1 für int-Terme) auf Terme mit Unbestimmten erweitern. Ein Term mit Unbestimmten wird analog zu Termen ohne Unbestimmte gebildet, so sind

x, x − 2, 2x + 1, (x + 1)(y − 1)

Terme vom Typ int und

p, p ∧ true, (p ∨ true) = ⇒ (q ∨ false)

Terme vom Typ bool.