im Zusammenhang mit Sprachoperationen gebräuchliche Konstruktion.

Ist τ eine ε-freie Substitution, dann wird durch die Anwendung des inversen Homomorphismus die Sprache \begin{eqnarray}{\tau }^{-1}(L)=\{w|\tau (w)\in L\}\end{eqnarray} definiert.

Ist z. B. das Alphabet \(\sigma =\{a,b,c\},L=\{abb,aab\}\) und \(\tau (a)=ab,\tau (b)=a,\tau (c)=b\), so ist \begin{eqnarray}{\tau }^{-1}(L)=\{ac,ba,bbc,bcc\}.\end{eqnarray} Die Anwendung inverser Homomorphismen entspricht der Ersetzung eines Musters (τ(x)) durch ein einzelnes Zeichen (x) und realisiert also einen Abstraktionsprozeß.