Program State - 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:  Program State

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)

    “... there are two types of happiness and I have chosen that of the murderers. For I am happy. There was a time when I thought I had reached the limit of distress. Beyond that limit, there is a sterile and magnificent happiness.”
    —Albert Camus (1913–1960)

    “It may be said that the elegant Swann’s simplicity was but another, more refined form of vanity and that, like other Israelites, my parents’ old friend could present, one by one, the succession of states through which had passed his race, from the most naive snobbishness to the worst coarseness to the finest politeness.”
    —Marcel Proust (1871–1922)