Turing machine

In der theoretischen Informatik ist eine eindeutige Turingmaschine ein theoretisches Berechnungsmodell, dessen Leistungsfähigkeit (unter Ressourcenbeschränkungen ) zwischen der von gewöhnlichen Turingmaschinen und

Eine Mehrspur-Turingmaschine ist eine spezielle Art von Mehrband-Turingmaschine .

Eine Mehrband-Turingmaschine ist eine Variante der Turingmaschine , die mehrere Bänder verwendet. Jedes Band hat einen eigenen Lese- und Schreibkopf.

In der theoretischen Informatik ist eine probabilistische Turingmaschine eine nichtdeterministische Turingmaschine , die an jedem Punkt gemäß einer Wahrscheinlichkeitsverteilung zwischen den verfügbaren Übergängen

Eine Quanten-Turingmaschine ( QTM ) oder ein universeller Quantencomputer ist eine abstrakte Maschine, die zur Modellierung der Effekte eines Quantencomputers dient .

In der Berechenbarkeitstheorie wird ein System von Datenmanipulationsregeln (wie ein Berechnungsmodell , der Befehlssatz eines Computers , eine Programmiersprache oder ein zellulärer Automat ) als Turing-vollständig oder

Eine Turingmaschine ist ein mathematisches Berechnungsmodell, das eine abstrakte Maschine beschreibt , die Symbole auf einem Band gemäß einer Regeltabelle manipuliert.

In der Informatik ist eine Turmite eine Turingmaschine , die neben ihrem aktuellen Zustand auch eine Orientierung besitzt und deren „Band“ aus einem unendlichen zweidimensionalen Gitter von Zellen besteht.