Turing -Maschinen und Computerbarkeitstheorie
Um eine rechenbare Funktion zu berechnen, wurde die Maschine im Jahr 1936 erfunden “, um zu berechnen.“Alan Turing" nannte sich "Turing Machine (TM)”. In der Informatik ist TM das abstrakte mathematische Modell der Berechnung und das primäre theoretische Konstrukt. Turing-Maschinen funktionieren eine vorprogrammierte unzählige Anzahl von Anweisungen. Es spielt eine wichtige Rolle und hilft den Benutzern, die Berechnung zu finden, indem sie die “abgrenzen“Berechnungsbare Funktionen”.
In dieser Beschreibung werden Turing-Maschinen, ihre Arbeit und die Computerfähigkeitstheorie kurz erklären.
Was ist Turing Machine?
Die Turing -Maschine wurde von Alan Turing erfunden. Anfangs wurde es als "genannt"a-machine (automatische Maschine)”. Später wurde dieser Begriff in “geändert“Turing Maschine" von "Alonzo -Kirche"Wer war Turings Doktorandsberater.
Eine Turing -Maschine ist ein mathematisches Berechnungsmodell, das auf unendlichen Befehlssätzen basiert, die zur Implementierung eines Computeralgorithmus verwendet werden. Die Manipulation von Symbolen erfolgt gemäß einer Regelnstabelle auf einem Bandstreifen.
Wie funktioniert Turing Machine??
Die Turing -Maschine arbeitet mit einem unendlichen Speicherband, das in einzelne Zellen unterteilt ist. Jede Zelle kann ein Symbol von einem unendlichen Symbolsatz entnommen halten. Diese Symbole sind als Maschinenalphabet bekannt. Die Maschine hat eine “KOPFDies weist auf den Startzustand der Implementierung des Computeralgorithmus hin.
Zusätzlich kann es über eine dieser Zellen bewegt werden, um positioniert zu werden. Die Auswahl von “ZustandKann aus einem endlichen Satz von Zuständen erfolgen. Der Kopf liest das Symbol (Maschinenalphabete) in jedem Schritt aus der Zelle. Nach dem Lesen des Zellsymbols kann das neue Symbol von der Turing -Maschine derselben Zelle hinzugefügt werden. In der Basis des neuen Symbols kann es den Kopfzeiger einen Schritt nach rechts oder links bewegen. Es kann möglich sein, dass der Berechnungsprozess anhält.
Was ist Kompatibilität und These der Kirche?
Kompatibilität ist nicht nur A-Machine (Turing Machine), eine rekursive Funktion, Pascal-Programmiersprache oder Kalkül, sondern die Kombination aller. Alonzo Church, Doktorand von Turing, stellte dieses Konzept bekannt als “These der Kirche”. Es wird auch das "das" genannt "These der Kirche”.
Darüber hinaus ist es kein Theorem, sondern wird verwendet, um die berechnbare Funktion mit den Funktionen zu vergleichen, die von A-Maschine berechnet werden können. Diese Funktionen, die von A-Maschinen nicht berechnet werden, können nicht mit einer anderen Methode berechnet werden. Als das Konzept der These der Kirche formuliert wurde, wussten die Menschen nicht über die Fähigkeit moderner Computer, und es war eine so bedeutende Leistung.
Turing -Maschinen und Computerbarkeitstheorie
Ein natürlicher Zahlensatz ist ein lichtbares oder Turing Computable Set. Zum Beispiel haben wir eine Turing -Maschine mit der Nummer “M”, Der annimmt, wenn die Ausgabe 1 ist, wenn“M”Ist im berechnbaren Satz. Andererseits hält es an, wenn die Ausgabe 0 ist, wenn “M”Ist nicht im natürlichen Zahlensatz. Eine Funktion "R"Von einer natürlichen Zahl zu einer natürlichen Zahl ist eine"Rechenbar”. Es kann beobachtet werden, dass nicht jeder natürliche Zahlensatz berechnet wird.
Wir haben das Konzept der Turing Machine und der Computerbarkeitstheorie erklärt.
Abschluss
Die Turing -Maschine wurde von “erfunden“Alan Turing1938 zur Berechnung einer rechenbaren Funktion. Es ist das abstrakte mathematische Berechnungsmodell und ein zentrales theoretisches Konstrukt in der Informatik. Eine Turing -Maschine ist ein mathematisches Berechnungsmodell, das auf unendlichen Befehlssätzen basiert, die zur Implementierung eines Computeralgorithmus verwendet werden. Die Manipulation von Symbolen erfolgt gemäß einer Regelnstabelle auf einem Bandstreifen. Diese Beschreibung demonstrierte die Konzepte von Turing-Maschinen und Computerbarkeitstheorie.