Aufstellungsort Besichtigt 499324 zeiten | Seite Besucht 21 zeiten | Sie sind hier : Etantonio/DE/Universita/1anno/FondamentiInformatica/ModelliCalcolo/Turing/ |
Maschine von Turing 1) beschreiben das Konzept der Maschine von Turing: Entwurf einer Begriffsabstraktion, die auf der Beobachtung als von den Mann basiert, behebt die Probleme.
2) beschreiben das körperliche Modell der Maschine von Turing: Es wird gibt festgesetzt: ) ein Aufsichtsorgan, in dem ein durchzuführen Programm Geschenk und der Organvollstrecker ist, der um den Bewegungen kümmert. B) kann ein grenzenloses Klebeband, das Funktion des Gedächtnis unterteilten in vielen Fällen ognuna di.le hat, die ein Symbol enthalten kann, auf dem Klebeband Platz finden, den ein n° von den Symbolen beendete, die unendlich vom Symbolfreien Raum nicht unbelegt und restlich sind.
3) das Betriebe der Maschine von Turing bewilligt werden: 4 Betriebe werden bewilligt, denen alles Messwerttestina von und Schreiben vom T.L.S., dem einführten von von ist: ) das anwesende Symbol in der Zelle lesend, die sie des Klebebandes bewerkstelligen B) Um ein Symbol in die Zelle zu schreiben bewerkstelligt automatisch annullierend sie das Symbol das vorher Sie geschrieben wurde. c) Sich auf der folgenden Zelle auf dem links des Klebebandes verschieben. d) Sich auf der folgenden rechten Zelle des Klebebandes verschieben.
4) wie äußeres der Betrieb von einer Maschine Turing: Durch eine solche Matrix: Linien sind alle möglichen Zustände, in denen das m.d.T. es gefunden werden kann. Spalten sind alle möglichen Symbole, die das m.d.T. es treffen kann. " die Kombination des Einkommens festgesetzt vom kartesischen Produkt ist bewerkstelligt sie X getroffenes Symbol, hat im Durchschnitt der Matrix ein tern, deren Ausgang bewerkstelligt sie der Ausarbeitungschritt darstellt, festgesetzt sie geben: A) zum gelesenen Symbol zu ersetzen Symbol. B) neu ist, daß die Maschine annehmen muß. c) Position des folgenden zu analysieren Symbols.
5) beschreiben das algebrico Modell der Maschine von Turing: Entsprechend diesem Modell das m.d.T. ist es, nicht daß ein festgesetztes tern gibt: ) beendete Q Ganzheit der Zustände B) S beendete Ganzheit der Symbole c) P Sottoset mit vom fünffachen gebildet gibt: c, A) ist bewerkstelligt sie c, B) Symbol bewerkstelligt sie c, c) zum Symbol zu ersetzen das Symbol, bewerkstelligt sie c, d) das neue ist c, e) , um das aufeinanderfolgende Symbol zu lesen durchzuführen Bewegung.
6) was die Bedeutung für blitzschnelle Konfiguration von einer Maschine Turing ist: Es ist man festzieht in eine Position zum estrinsecare den Zustand der Maschine von Turing in einem Datenmoment. Dem Beginn von einer blitzschnellen Konfiguration der Abfahrt kann erreicht werden die abschließende Konfiguration durch Gebrauch, den es der Matrix sie und die konsequente Modernisierung der blitzschnellen Konfiguration funktioniert. Eine blitzschnelle Konfiguration ist man festzieht so: h qI sK x, wo: h ist festzieht es sinnvoll vom Klebeband, das die z.Z. gelesene Zelle vorangeht q das ist der Zustand, in dem z.Z. die Maschine von Turing gefunden wird sK ist das z.Z. gelesene Symbol x ist festzieht es sinnvoll vom Klebeband, das dem gelesenen Zelle attualmente folgt. 7) was die Bedeutung für computazione von einer Maschine Turing ist: Es ist eine Folge der blitzschnellen Beschreibungen, denen, von der blitzschnellen Beschreibung Tür bis eine zu gehen sie ist abschließend anfängt.
8) umreiß für die Planung eines Algorithmus mit der Maschine von Turing: ), die einfachste Konfiguration finden, fängt es sie so an, daß, sie anwendend, der Algorithmus wir in einer Position zum Sagen sind, daß sie arbeitet. B) Einen Algorithmus zu planen der einfach das Problem behebt, das auf ihm arbeitet zieht fest. * Den Zustand des Schließens des Algorithmus und der etwaigen inneren Zyklen offenbar kennzeichnen. c) Den Algorithmus zu versuchen zieht an Meister fest.
9) Enounce die These der Kirche: Wenn ein Problem eine algorithmische Auflösung zuläßt, dann von ihm läßt es ein zu, das von einer Maschine von Turing ausgedrückt wird (previa kodifiziert von den Daten).
10) bestehen unlösliche Probleme: , ist ein Beispiel der Algorithmus von gestoppten
11) die die Eigenschaften eines Algorithmus sind: A) muß descrivibile mit einem n° von den Anweisungen beendet werden. B) haben wir nicht irgendwelche, zum eine Begrenzung zum n° von Daten im Einkommen zu des n° von Daten im Entweichen zu sein. c) müssen die Anweisungen nicht vieldeutig sein. d) muß die Kompliziertheit der Anweisungen eine beendete Begrenzung haben. und) muß das Vollstreckermuß Einteilung ein grenzenloses Gedächtnis im Auftrag memorizzare die Daten. f), das der Algorithmus nach einem n° beenden muß, das von den Schritten beendet wird.
12) wenn ein Algorithmus komplizierter als anderer ist: Ein Algorithmus ist komplizierter, wenn er weniger leistungsfähig ist, wo die Leistungsfähigkeit quantitativ bestimmtes Ziehen in Betracht kommt, welches die Menge der Betriebsmittel (Gedächtniszeit der Durchführung) dieser sie engagiert kommen.
13) wenn ein Problem umgänglich ist: Wenn ein Algorithmus daß Beschlüsse es in den polinomiali Bezeichnungen besteht. |