Program State - Finite State Machines

Finite State Machines

The output of a sequential circuit or computer program at any time is completely determined by its current inputs and current state. Since each binary memory element has only two possible states, 0 or 1, the total number of different states a circuit can assume is finite, and fixed by the number of memory elements. If there are N binary memory elements, a digital circuit can have at most 2N distinct states. The concept of state is formalized in an abstract mathematical model of computation called a finite state machine, used to design both sequential digital circuits and computer programs.

Read more about this topic:  Program State

Famous quotes containing the words finite, state and/or machines:

    All finite things reveal infinitude:
    Theodore Roethke (1908–1963)

    Navajo men and boys have an odd way of showing their friendship. When two young men meet at the trading post, a “Sing”, or a dance they greet each other, inquire about the health of their respective families, then stand silently some ten or fifteen minutes while one feels the other’s arms, shoulders, and chest.
    —Administration in the State of Ariz, U.S. public relief program (1935-1943)

    If men do not keep on speaking terms with children, they cease to be men, and become merely machines for eating and for earning money.
    John Updike (b. 1932)