Übersetzung Statements

Übersetzung Statements

Frage:

Wie ist die Übersetzung von Statements in eine AM-Anweisungsequenz mithilfe der Funktion $\mathcal C$ definiert?

$(\mathcal C:\text{Statement } S \mapsto \text{Anweisungsequenz } \mathcal C(S))$

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.