Aufgabe:

a) Die Abbildung soll wie in (7.1.5) beschrieben als Automat interpretiert werden. Angenommen der Automat soll nicht nur f(x) ausgeben, sondern zusätzlich noch x. Wie formalisieren Sie das Ausgabeobjekt?

b) Die in Kap.2.5 besprochene Produktmenge war nach dem in (7.1.17) besprochenem Schema definiert. Vervollständigen Sie die folgenden Definitionsgleichungen:

c) Interpretieren bzw. erläutern Sie die folgenden beiden Mengenbildungen in Worten:

d) Etwas Formalismus zu (7.1.5) und (7.1.22):

Inspektion -- Lösung -- Kommentar-

Zurück zur Liste der Aufgaben