In der Informatik und Automaten-Theorie ist ein Staat eine einzigartige Konfiguration der Information in einem Programm oder Maschine. Es ist ein Konzept, das sich gelegentlich in einige Formen von Systemen ausstreckt, wie lexers und parsers programmierend.

Ob der fragliche Automat eine Zustandsmaschine, ein pushdown Automat oder eine flügge Maschine von Turing ist, ist ein Staat ein besonderer Satz von Instruktionen, die als Antwort auf den Eingang der Maschine durchgeführt werden. Vom Staat kann als analog einem Hauptgedächtnis eines praktischen Computers gedacht werden. Das Verhalten des Systems ist eine Funktion von

• die Definition des Automaten,
• der Eingang und
• der aktuelle Staat.

Folgende Staaten sind bemerkenswert:

• Vereinbare Staaten sind Staaten in einer Zustandmaschine, die für keine Eingangswerte kollidieren. So für jeden Eingang müssen beide Staaten dieselbe Produktion haben, und beide Staaten müssen denselben Nachfolger (oder unangegebene Nachfolger) haben, oder beide müssen sich nicht ändern. Vereinbare Staaten sind überflüssig, wenn sie in derselben Zustandmaschine vorkommen.
• Unterscheidbare Staaten sind Staaten in einer Zustandmaschine, die mindestens eine Eingangsfolge haben, die verschiedene Produktionsfolgen verursacht - macht dir nichts aus dem Staat der anfängliche Staat ist.
• Gleichwertige Staaten sind Staaten in einer Zustandmaschine, die, für jede mögliche Eingangsfolge, dieselbe Produktionsfolge erzeugt wird - macht dir nichts aus dem Staat der anfängliche Staat ist.

In der Informationsverarbeitung ist ein Staat der ganze Satz von Eigenschaften (zum Beispiel, sein Energieniveau, sieh usw. Klassische Mechanik) übersandt durch einen Gegenstand einem Beobachter über einen oder mehr Kanäle. Jede Änderung in der Natur oder Menge solcher Eigenschaften in einem Staat wird von einem Beobachter entdeckt, und so kommt eine Übertragung der Information vor.

sagt, sind ein Informationssystem oder Protokoll, das sich auf Staat verlässt, stateful. Wie man sagt, ist derjenige, der nicht tut, staatenlos. Zum Beispiel gibt es staatenlose Brandmauern und staatenlose Server, und HTTP wird als ein staatenloses Protokoll betrachtet. Ein Charakter, der wie ISO verschlüsselt, wie man sagt, ist 2022 stateful, wenn die Interpretation eines besonderen Codewerts von den Codewerten abhängt, die davor gekommen sind.

Siehe auch

• Zustandsmaschine (FSM)
• Weise (Computerschnittstelle)
• Programm-Staat
• Zustandsdiagramm
• Staatsraum (dynamisches System)
• Grundlagen der Digitallogik durch Brown und Vranesic