Theoretical computer science stubs

In der Informatik ist ein deterministischer Automat ein Konzept der Automatentheorie, bei dem das Ergebnis eines Übergangs von einem Zustand in einen anderen durch die Eingabe bestimmt wird. : 41

In der Mathematik und der theoretischen Informatik bezeichnet das Semi-Mitgliedschaftsproblem einer Menge die Frage, welches von zwei möglichen Elementen logisch gesehen eher zu dieser Menge gehört; alternativ, bei zwei

In der Wahrscheinlichkeitstheorie bedeutet Postselektion , einen Wahrscheinlichkeitsraum auf das Eintreten eines bestimmten Ereignisses zu konditionieren .

Ein Quantensortieralgorithmus ist jeder Sortieralgorithmus , der auf einem Quantencomputer ausgeführt werden kann .

Ein Superkombinator ist ein vollständig gebundener und in sich abgeschlossener mathematischer Ausdruck . Er kann entweder eine Konstante oder ein Kombinator sein , dessen Teilausdrücke allesamt Superkombinatoren sind.

In der Komplexitätstheorie bezeichnet man als verallgemeinertes Spiel ein Spiel oder Puzzle, das so verallgemeinert wurde, dass es auf einem Brett oder Gitter beliebiger Größe gespielt werden kann.

Ein Zufalls-Seed (oder Seed-Zustand , oder einfach Seed ) ist eine Zahl (oder ein Vektor ), die zur Initialisierung eines Pseudozufallszahlengenerators verwendet wird .