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:
“Scepticism is an ability, or mental attitude, which opposes appearances to judgments in any way whatsoever, with the result that, owing to the equipollence of the objects and reasons thus opposed we are brought firstly to a state of mental suspense and next to a state of “unperturbedness” or quietude.”
—Sextus Empiricus (2nd or 3rd cen., A.d.)
“Let the space under the first storey be dark, let the water
lap the stone posts, and vivid green slime glimmer
upon them; let a boat be kept there.”
—Denise Levertov (b. 1923)