Wortfunktionen

Zusammenfassung

In diesem Kapitel wird an die Schlußbetrachtungen des Abschnitts 1.2 angeknüpft; dort wurde die Abbildungsfamilie eines Automaten eingeführt. Jede Abbildung dieser Familie ist eine Abbildung der Eingabe- in die Ausgabehalbgruppe. Hier wird insbesondere die Frage behandelt, wann es zu einer Abbildung

$$ \varphi :{X^{*}} \to {Y^{*}} $$

einen Automaten gibt, in dem φ „dargestellt“ wird (also die Frage der Darstellbarkeit von Abbildungen in Automaten); es werden — wie man sagt — sogenannte Eingabe-/Ausgabe-Relationen behandelt.