State (computer Science) Article Index for
State 		Website Links For
State 		 

Information About

State (computer Science)
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



Whether the automaton in question is a Finite State Machine , a Pushdown Automaton or a full-fledged Turing Machine , a state is a particular set of instructions which will be executed in response to the machine's input. The state can be thought of as analogous to a practical computer's main memory. The behavior of the system is a function of (a) the definition of the automaton, (b) the input and (c) the current state.

  • Compatible states are states in a State Machine which do not conflict for any input values. Thus for every input, both states must have the same output, and both states must have the same successor (or unspecified successors) or both must not change. Compatible states are redundant if occurring in the same State Machine .

  • Equivalent states are states in a State Machine which, for every possible input sequence, the same output sequence will be produced - no matter which state is the initial state.

  • Distinguishable states are states in a State Machine which have at least one input sequence which causes different output sequences - no matter which state is the initial state.




In Information Processing , a state is the complete Set of Properties (for example, its Energy Level , etc. see State (physics) ) transmitted by an object to an Observer via one or more Channels . Any change in the nature or quantity of such properties in a state is detected by an observer and thus a transmission of Information occurs.

An Information System or Protocol that relies upon state is said to be ''stateful''. One that does not is said to be ''stateless''. For example, there are Stateless Firewall s and Stateless Server s, and HTTP is considered a stateless protocol. A Character Encoding such as ISO 2022 is said to be stateful if the interpretation of a particular code value depends on the code values that came before it.


SEE ALSO



REFERENCES

  • Fundamentals of Digital Logic by Brown and Vranesic