Hallo,

kann mir jemand erklären, was man sich unter einer geschützten rekursiven Spezifikation genau vorzustellen hat? Ich verstehe zwar die Definition aus dem Skript, aber der Sinn dahinter hat sich mir noch nicht erschlossen…

Bin für jede Hilfe dankbar!

Viele Grüße