Nach dem F3 Skript (Version September 2005) ist laut Def. 2.6 auf Seite 33 ist turing-berechenbar gleich partiell-rekursiv, warum?
Schon nach der Überschrift dieses Abschnitts "Berechenbarkeit" erwarte ich eben eine Definition für Berechenbarkeit, was ich mit rekursiv bzw. total rekursiv gleichsetze.
Und wie hab ich diese Definiion sonst zu verstehen, kann diese Turingmaschine, die dort beschrieben ist in einem Zustand der unendlichen Berechnungen kommen, oder in einem Zustand aus dem man nicht mehr herauskommt?
ok da hab ich etwas durcheinander gebracht nämlich berchenbar und entscheidbar. Ich bin mir trotzdem bei dieser Definition nicht sicher…
Schließlich kenne ich aus einem anderen Buch die Definiton:
" Eine Funktion f: Sigma_Stern -> Sigma_Stern heißt total rekursiv (berechenbar), wenn es eine Turingmaschine gibt, die aus der Eingabe x den Funktionswert f(x) berechnet. -> Das bringt mich total durcheinander [img]
http://www.fb18.de/gfx/26.gif[/img]
Schließlich kenne ich aus einem anderen Buch die Definiton:
" Eine Funktion f: Sigma_Stern -> Sigma_Stern heißt total rekursiv (berechenbar), wenn es eine Turingmaschine gibt, die aus der Eingabe x den Funktionswert f(x) berechnet. -> Das bringt mich total durcheinander
Bei partiell rekursiven Funktionen würde das dann wie folgt heißen:
" Eine Funktion f: Sigma_Stern -> Sigma_Stern heißt partiell rekursiv (TM-berechenbar), wenn es eine Turingmaschine gibt, die aus der Eingabe x den Funktionswert f(x) immer dann berechnet, wenn dieser existiert! Ansonsten gibt es keine Ausgabe (z.B. weil die TM nie anhält). Die Division ist nicht auf allen Zahlen(-paaren) definiert, also partielle Funktion von Z x Z —> Z: 3/0.
Das ist der Unterschiewd zwischen totalen und partiellen Funktionen. Und beide nennt man berechenbar,
wenn es Turingmaschinen gibt, die das existierede Ergebnis bestimmen.
@LaTeX-editor: $\frac{3}{0}$ macht der LaTeX-Editor hier nicht richtig!!
danke, hat mir echt geholfen!
@LaTeX-editor: $\frac{3}{0}$ macht der LaTeX-Editor hier nicht richtig!!
\frac{3}{0}. Ohne $!
[img]
http://mokrates.de/cgi-bin/texstring?%5Cfrac%7B3%7D%7B0%7D[/img]
http://mokrates.de/wiki/index.php/TexString/Dokumentation
[…]
Der eingegebene Text wird in eine \displaymath Umgebung eingebaut, so, dass keine "Mathebegrenzer" im eigenen Quelltext noetig oder ueberhaupt erlaubt waeren.
[…]
Die Seite sollte auch in der FAQ verlinkt sein.
Mo
http://mokrates.de/wiki/index.php/TexString/Dokumentation
[…]
Der eingegebene Text wird in eine \displaymath Umgebung eingebaut, so, dass keine "Mathebegrenzer" im eigenen Quelltext noetig oder ueberhaupt erlaubt waeren.
[…]
Die Seite sollte auch in der FAQ verlinkt sein.
Mo
Oh danke, ich lese halt nicht gerne Gebrauchsanleitungen vorher…
