Models of computation

Ein agentenbasiertes Modell ( ABM ) ist ein Computermodell zur Simulation der Aktionen und Interaktionen autonomer Agenten (sowohl Einzelpersonen als auch Kollektive wie Organisationen oder Gruppen), um das Verhalten

Charakterisierungen von Algorithmen sind Versuche, den Begriff „Algorithmus“ zu formalisieren . Es gibt keine allgemein anerkannte formale Definition für „Algorithmus“. Forscher arbeiten aktiv an diesem Problem.

In der Komplexitätstheorie ist eine alternierende Turingmaschine ( ATM ) eine nichtdeterministische Turingmaschine ( NTM ) mit einer Regel zur Annahme von Berechnungen, die die in der Definition der Komplexitätsklassen

Ein Billardkugelcomputer , eine Art konservativer Logikschaltung , ist ein idealisiertes Modell eines reversiblen mechanischen Computers , basierend auf der Newtonschen Dynamik .

DNA-Computing ist ein aufstrebender Zweig des unkonventionellen Rechnens , der DNA , biochemische und molekularbiologische Hardware anstelle herkömmlicher elektronischer Rechenverfahren nutzt .

Ein Ein-Befehlssatz-Computer ( OISC ), auch Ultimate Reduced Instruction Set Computer ( URISC ) genannt , ist eine abstrakte Maschine , die nur einen Befehl verwendet – wodurch die Notwendigkeit eines Maschinensprache-

FRACTRAN ist eine Turing-vollständige, esoterische Programmiersprache, die vom Mathematiker John Conway erfunden wurde .

Dieses Glossar des Quantencomputings ist eine Liste von Definitionen von Begriffen und Konzepten, die im Quantencomputing , seinen Teildisziplinen und verwandten Gebieten verwendet werden.

Optisches oder photonisches Rechnen nutzt Lichtwellen, die von Lasern oder inkohärenten Quellen erzeugt werden, zur Datenverarbeitung , Datenspeicherung und Datenkommunikation .

In der Informatik bezeichnet Persistenz die Eigenschaft eines Systemzustands, länger zu bestehen als der Prozess , der ihn erzeugt hat.

Ein postkanonisches System , auch Postproduktionssystem genannt , wurde von Emil Post entwickelt und ist ein System zur Manipulation von Zeichenketten.

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

In der Theorie der Quantenkommunikation bezeichnet die Quantenkapazität die höchste Rate, mit der Quanteninformation über viele unabhängige Nutzungen eines verrauschten Quantenkanals von einem Sender zu einem Empfänger

In der Quanteninformationstheorie ist ein Quantenschaltkreis ein Modell für Quantenberechnungen , ähnlich klassischen Schaltkreisen .

Das Quantenvolumen ist eine Metrik, die die Leistungsfähigkeit und Fehlerraten eines Quantencomputers misst .

Ein Computermodell nutzt Computer, um komplexe Systeme in verschiedenen Bereichen der Computerwissenschaften zu simulieren und zu untersuchen , von der Physik , den Ingenieurwissenschaften , der Chemie und der Biologie

In -Memory- Computing (IMC) ist ein Paradigma, das Berechnungen direkt in Speicherarrays (RAM, RRAM, PCM) durchführt, anstatt Daten an eine separate CPU zu übertragen.

In mathematical logic and theoretical computer science, a register machine is a generic class of abstract machines, analogous to a Turing machine and thus Turing complete.

Reversibles Rechnen bezeichnet jedes Berechnungsmodell, bei dem jeder Schritt des Prozesses zeitlich umkehrbar ist .

In der Informatik ist die Streamverarbeitung ( auch bekannt als Ereignisstromverarbeitung , Datenstromverarbeitung oder verteilte Streamverarbeitung ) ein Programmierparadigma , das Datenströme – also zeitliche

Ein topologischer Quantencomputer ist eine spezielle Art von Quantencomputer . Er nutzt Anyonen , eine Art Quasiteilchen , die in zweidimensionalen Systemen auftreten.

Der Trinomialbaum ist ein gitterbasiertes Rechenmodell, das in der Finanzmathematik zur Preisberechnung von Aktienoptionen verwendet wird. Er wurde 1986 von Phelim Boyle entwickelt.

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.

In der Informationstechnologie und Informatik wird das Muster, unidirektionale Änderungen an einem unveränderlichen Datenzustand vorzunehmen, als unidirektionaler Datenfluss bezeichnet .

Es gibt zahlreiche Varianten der Zählmaschine , darunter die von Hermes , Ershov , Péter , Minsky , Lambek , Shepherdson und Sturgis sowie Schönhage . Diese werden im Folgenden erläutert.

Zustandsdiagramme werden in der Informatik und verwandten Bereichen verwendet, um das Verhalten von Systemen zu beschreiben. Sie setzen voraus, dass das System aus einer endlichen Anzahl von Zuständen besteht .