Es seien A {\displaystyle {}A} und B {\displaystyle {}B} Alphabete und sei φ : A → B {\displaystyle {}\varphi \colon A\rightarrow B} eine Abbildung. Zeige, dass dies eine natürliche Abbildung
zwischen den Wortmengen induziert. Zeige, dass φ {\displaystyle {}\varphi } genau dann injektiv (surjektiv) ist, wenn φ ~ {\displaystyle {}{\tilde {\varphi }}} injektiv (surjektiv) ist.