In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property. As programs increase in size and complexity, the state space grows exponentially. The state space used by these methods can be reduced by maintaining only the parts of the state space that are relevant to the analysis. However, the use of state and memory reduction techniques makes runtime a major limiting factor.
Read more about State Space Enumeration: See Also
Famous quotes containing the words state and/or space:
“I incline to think that the people will not now sustain the policy of upholding a State Government against a rival government, by the use of the forces of the United States. If this leads to the overthrow of the de jure government in a State, the de facto government must be recognized.”
—Rutherford Birchard Hayes (1822–1893)
“Art and power will go on as they have done,—will make day out of night, time out of space, and space out of time.”
—Ralph Waldo Emerson (1803–1882)