Arten von Abarbeitungssequenzen

Question

Eine Abarbeitungssequenz ist eine Folge von semantischen Umformungen in SOS.
Welche Arten gibt es (und was bedeuten sie)?

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

Kommentare