Operationelle Semantik/Abstract Machine

Aufbau AM

Frage:

Welche Komponenten besitzt die in der Vorlesung vorgestellte abstrakte Maschine AM?

Antwort:

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

Konfiguration AM

Frage:

Was gibt die AM-Konfiguration $<c, e, s>$ an? 

Antwort:

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

Konfigurationsübergang AM

Frage:

Was bezeichnet die Notation $<c,e,s> \triangleright <c',e',s'>$?

Antwort:

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

Push

Frage:

Wie lautet die Regel für den AM-Befehl PUSH?

Antwort:

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

True, False

Frage:

Wie lauten die Regeln für die AM-Befehle TRUE und FALSE?

Antwort:

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

Add, Sub, Mult, ...

Frage:

Wie lauten die Regeln für die AM-Befehle ADD, SUB, MULT, DIV, NEG, AND, OR, EQ, NEQ, LE, GE, LT, GT?

Antwort:

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

Fetch

Frage:

Wie lautet die Regel für den AM-Befehl FETCH?

Antwort:

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

Store

Frage:

Wie lautet die Regel für den AM-Befehl STORE?

Antwort:

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

Noop

Frage:

Wie lautet die Regel für den AM-Befehl NOOP?

Antwort:

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

Branch

Frage:

Wie lauten die Regeln für den AM-Befehl BRANCH?

Antwort:

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

Loop

Frage:

Wie lautet die Regel für den AM-Befehl LOOP?

Antwort:

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

Übersetzung Expressions

Frage:

Wie ist die Übersetzung einer Expression in eine AM-Anweisungssequenz mithilfe der Funktion $\mathcal C$ definiert?

$(\mathcal C:\text{Expression } E \mapsto \text{Anweisungsequenz } \mathcal C(E))$

Antwort:

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

Ü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.