Begriffe (allgemein)

homo-morph = gleich-förmig

Signatur Σ (= Menge von Funktionssymbolen)

Abbildung h von Σ-Struktur A nach Σ-Struktur B ist Homomorphie, wenn:

fΣ, x1,…, xkA :
         h(fA(x1,…, xk)) = fB(h(x1),…, h(xk))

Beispiel:

Σ = Monoid (Eins-Element 1, binäre Operation o)

A = Lista (Listen) mit 1A = Nil,oA = append

B = N (Zahlen) mit 1B = Z,oA = plus

h = length



Johannes Waldmann 2013-06-18