Substitutionen: Produkt

Produkt von Substitutionen: t(σ1oσ2) = (1)σ2


Beispiel 1:

σ1 = {X $ \mapsto$ Y}, σ2 = {Y $ \mapsto$ a}, σ1oσ2 = {X $ \mapsto$ a, Y $ \mapsto$ a}.

Beispiel 2 (nachrechnen!):

σ1 = {X $ \mapsto$ Y}, σ2 = {Y $ \mapsto$ X}, σ1oσ2 = σ2

Eigenschaften:

Implementierung:

import Data.Map 
type Substitution = Map Identifier Term
times :: Substitution -> Substitution -> Substition



Johannes Waldmann 2011-01-23