Aufgabe 5.4c

mProg
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 147
Registriert: 25. Apr 2015 00:10

Aufgabe 5.4c

Beitrag von mProg »

Bei dieser Aufgabe habe ich als Nebenbedingung geschrieben:
pi´= pi[L\(L,a)]
Ist das auch möglich? Wenn nicht, warum?

Markus Tasch
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 124
Registriert: 11. Sep 2015 10:57

Re: Aufgabe 5.4c

Beitrag von Markus Tasch »

Nein, das ist nicht möglich. Die Nebenbedingung \(\pi'=\pi[L, \backslash (L,a)]\) ersetzt die Folge von Numerals, die in der Listenvariable \(L\) gespeichert wird durch die Folge \((L,a)\). Dies passt aber nicht zur Signatur der Funktion \(\pi\) (nämlich \(LVar \to Num^*\)), da \((L,a)\) keine Folge von Numerals ist.
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Antworten

Zurück zu „Archiv“