uFORM iFORM ist eine mehrwertige Erkenntnislogik, eine transformative Brücke zwischen Natur- und Geisteswissenschaften
Bewertung:Informationen an Ihren Fingerspitzen
Bewertung:joefox.de - private homepage
Bewertung:Eine Orakel-Turingmaschine ist eine Turingmaschine, die mit einem ''Orakel'' verbunden ist. Bildhaft kann man sich ein Orakel als eine ''black box'' vorstellen, die von der Turingmaschine befragt werden kann und ein Problem in einem Schritt löst. Der Begriff der Orakel-Turingmaschine dient in der Theoretischen Informatik dazu, Hierarchien von Berechenbarkeiten und Komplexitäten zu definieren und deren Eigenschaften zu studieren.
weiterlesenDie Turingmaschine ist ein von dem britischen Mathematiker Alan Turing 1936 entwickeltes Modell, um eine Klasse von berechenbaren Funktionen zu bilden. Sie gehört zu den grundlegenden Konzepten der Theoretischen Informatik. Das Modell wurde im Rahmen des von David Hilbert im Jahr 1920 formulierten Hilbertprogramms, speziell zur Lösung des so genannten Entscheidungsproblems, in der Schrift '' On Computable Numbers, with an Application to the Entscheidungsproblem '' vorgestellt.
weiterlesenEine nichtdeterministische Turingmaschine in der Theoretischen Informatik ist eine Turingmaschine, die anstatt einer Übergangs''funktion'' eine Übergangs''relation'' verwendet. Eine deterministische Turingmaschine hat eine Übergangsfunktion, die für einen gegebenen Zustand und ein Symbol unter dem Lesekopf drei Dinge spezifiziert: das Symbol, das auf das Band geschrieben werden soll, die Richtung, in die der Lesekopf bewegt werden soll, und der Zustand, in den gewechselt werden soll.
weiterlesen