Syntax und Semantik. Syntaktisch korrekte SASP Programme sind durch folgende Grammatik definiert

Question

Hallo Leute,

ich habe eine folgende Übung undzwar handelt es sich um Semantik.

Ich verstehe bei der ii) nicht, wie man auf das Ergebnis {p, q} kommt. Ich habe alle Wege schon ausprobiert undzwar von rechts nach links zu lesen aber trotzdem komme ich nie auf p, q.

Auch die Lösungen verraten nicht die Rechenschritte.

Kann mir jemand helfen, wie man auf p, q kommt?

Danke im Voraus.

Comments

Macht ihr das in theoretischer Informatik oder in Mathe? Deine Frage war zur Migration in die Stacklounge (Informatik) gemeldet. Gleiches Login wie in der Mathelounge. 

---

Tut mir Leid. Ich wusste das nicht. Danke für das Migrieren

---

Kein Problem. In der Mathelounge kommt gelegentlich schneller eine Reaktion / Antwort. Die ist nun auch migriert worden.

Answer 1

$$\mathcal{W}\left(\mathtt{p.q:-p.s:-r.}\right) = \\ \mathcal{W}\left(\mathtt{p.q:-p.}\right) \cup \left\{r\right\}= \\ \mathcal{W}\left(\mathtt{p.}\right) \cup \left\{\mathtt{r}\right\}= \\ \left\{\mathtt{p}\right\} \cup \left\{\mathtt{r}\right\}= \\ \left\{\mathtt{p, q}\right\}.$$ Das ist mein Vorschlag zur Diskussion.

Comments

Vielen Dank. Jetzt wird mir das klar