Termalgebra

Eine (``ranked'') Signatur $ \Sigma$ ist eine Menge von Funktionssymbolen mit einer Abbildung arity : $ \Sigma$$ \to$$ \mathbb {N}$.

Die Menge Term($ \Sigma$) ist die kleinste Menge T mit:

(Das ist eine induktive Definition. Wo ist der Induktionsanfang?)



2009-11-20