Guten Abend,
Weiß jemand zufällig, was eine geschützte Spezifikation ist? Habe mir die Definition zwar angeguckt, wurde aber nicht schlauer draus. :)
Die rechte Seite muss entweder eine "Summe" (ich nenn das mal so, auch wenn die Pluszeichen keine Addition sind) sein, bei der jeder "Summand" mit einer atomaren Aktion anfängt, oder sie muss sich in diese Form bringen lassen. Dazu dürfen Äquivalenzumformungen benutzt werden und außerdem Variablen durch ihre Entsprechung ersetzt werden.
Beispiel 4.27 (S. 147) zeigt das ganz gut.
{X=aY, Y=b} wäre also geschützt, ohne dass man dazu irgendwas umformen müsste, {X=Ya, Y=X+b} wäre nicht geschützt, da es sich nie in eine Form bringen lässt, bei der jeder Summand (auf den rechten Seiten der Gleichungen) mit einer atomaren Aktion (hier a oder b) beginnt.
Darf dann eine atomare Aktion dahinter stehen? Z.b. Y=aYb. Wäre das eine geschützte Spezifikation?
Yb wäre ja ein erlaubter Term s_1(X_1…X_n). Davor muss dann nur eine atomare Aktion stehen, in der Aufgabe ist es a.
