Types of States
Following states are distinguished:
- Compatible states are states in a state machine that 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.
- Distinguishable states are states in a state machine that have at least one input sequence causing different output sequences - no matter which state is the initial state.
- 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.
Read more about this topic: Program State
Famous quotes containing the words types and/or states:
“The American man is a very simple and cheap mechanism. The American woman I find a complicated and expensive one. Contrasts of feminine types are possible. I am not absolutely sure that there is more than one American man.”
—Henry Brooks Adams (1838–1918)
“If the Union is now dissolved it does not prove that the experiment of popular government is a failure.... But the experiment of uniting free states and slaveholding states in one nation is, perhaps, a failure.... There probably is an “irrepressible conflict” between freedom and slavery. It may as well be admitted, and our new relations may as be formed with that as an admitted fact.”
—Rutherford Birchard Hayes (1822–1893)