State (computer Science) - Types of States

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:  State (computer Science)

Famous quotes containing the words types of, types and/or states:

    “The wider the range of possibilities we offer children, the more intense will be their motivations and the richer their experiences. We must widen the range of topics and goals, the types of situations we offer and their degree of structure, the kinds and combinations of resources and materials, and the possible interactions with things, peers, and adults.”
    —Loris Malaguzzi (1920–1994)

    “If there is nothing new on the earth, still the traveler always has a resource in the skies. They are constantly turning a new page to view. The wind sets the types on this blue ground, and the inquiring may always read a new truth there.”
    —Henry David Thoreau (1817–1862)

    “In it he proves that all things are true and states how the truths of all contradictions may be reconciled physically, such as for example that white is black and black is white; that one can be and not be at the same time; that there can be hills without valleys; that nothingness is something and that everything, which is, is not. But take note that he proves all these unheard-of paradoxes without any fallacious or sophistical reasoning.”
    —Savinien Cyrano De Bergerac (1619–1655)