Vorlesung 6 Freudenberg

- Effektiv berechenbar = eine Funktion die grundsätzlich gelöst werden kann - S.6 „nicht definiert“ = eine Prozedur/ ein Verfahren, was niemals ein Ergebnis liefert - S. 7 Totale Funktion: für jedes Argument gibt es einen Funktionswert Partielle Funktion: es gibt Argumente aus dem Vorbereich, für die es keinen Funktionswert gibt, an diesen Stellen ist die Funktion nicht definiert (sie stoppt nicht) - die Bestimmung des Funktionsbereiches ist algorithmisch nicht lösbar -> Beispiel für eine nicht berechenbare Funktion - S. 9 „nfa“ -> nicht für alle

Übung S.11

- gilt nur für die natürlichen Zahlen, die Vorgängerfunktion für „0“ ist nicht definiert - If n < 0 return 0 Else return n-1

- S.13 an den Stellen, wo die Funktion nicht definiert ist wird „a“ zurückgegeben - S.15: Was liefert healt?(healt?)? der Selbstaufruf ist nicht berechenbar, da wir an dieser Stelle eine Fehler bekommen würden -> Antwort: Syntaxerror - „healt?“ erwartet als Argument eine einstellige Funktion und eine natürliche Zahl (kann auch 0 sein) - Healt? bekommt mit healt? aber eine Funktion die wieder eine Funktion erwartet

- S.18 A+ (ist die Menge A* ohne das leere Wort) - Frage: Finden Sie einen Algorithmus, der die Indexliste sucht!