Übung 8 - Alternative Semanitk von Bexp

Benutzeravatar
m_stoica
Kernelcompilierer
Kernelcompilierer
Beiträge: 473
Registriert: 5. Dez 2008 20:19
Wohnort: Zuhause

Übung 8 - Alternative Semanitk von Bexp

Beitrag von m_stoica »

Hi,
was für Alternativen zur Ausgestalltung gibt es für die Regeln: ar=t, ar=f, ar≤t, ar≤f?
Die Auswertungsstrategie lässt sich hier ja nicht verändern.

Gruß,
Michael

schuster
Mausschubser
Mausschubser
Beiträge: 74
Registriert: 5. Okt 2007 15:43

Re: Übung 8 - Alternative Semanitk von Bexp

Beitrag von schuster »

m_stoica hat geschrieben:Hi,
was für Alternativen zur Ausgestalltung gibt es für die Regeln: ar=t, ar=f, ar≤t, ar≤f?
Die Auswertungsstrategie lässt sich hier ja nicht verändern.

Gruß,
Michael
Für die Regel ar=t gibt es etwa folgende Alternative:

Code: Alles auswählen

              <a_1, \sigma> \Downarrow n_1                     <a_2, \sigma> \Downarrow n_2
   (ar=t')   -------------------------------------------------------------------------------
                                       <a_1 = a_2, \sigma> ->_1 true

Benutzeravatar
m_stoica
Kernelcompilierer
Kernelcompilierer
Beiträge: 473
Registriert: 5. Dez 2008 20:19
Wohnort: Zuhause

Re: Übung 8 - Alternative Semanitk von Bexp

Beitrag von m_stoica »

sprich man verwende das "normale" AExp statt dem alternativen?

empe
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 118
Registriert: 14. Jan 2008 14:24

Re: Übung 8 - Alternative Semanitk von Bexp

Beitrag von empe »

Und auch ohne Nebenbedingung (n_1 = n_2)?

Antworten

Zurück zu „Archiv“