Für eine zweistellige Relation ρ auf M (zum Beispiel eine Ersetzungsrelation →R auf Term(Σ) ) heißt x∈M eine ρ -Normalform, falls ¬∃y∈M : ρ(x, y) . Beachte: für passende ρ und x kann vorkommen: p hat mehrere Normalformen p hat keine Normalform Johannes Waldmann 2015-12-11
(zum Beispiel eine Ersetzungsrelation →R auf Term(Σ) ) heißt x∈M eine ρ -Normalform, falls ¬∃y∈M : ρ(x, y) . Beachte: für passende ρ und x kann vorkommen: p hat mehrere Normalformen p hat keine Normalform Johannes Waldmann 2015-12-11
heißt x∈M eine ρ -Normalform, falls ¬∃y∈M : ρ(x, y) . Beachte: für passende ρ und x kann vorkommen: p hat mehrere Normalformen p hat keine Normalform Johannes Waldmann 2015-12-11
Beachte: für passende ρ und x kann vorkommen: p hat mehrere Normalformen p hat keine Normalform Johannes Waldmann 2015-12-11