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:
“The mountainous region of the State of Maine stretches from near the White Mountains, northeasterly one hundred and sixty miles, to the head of the Aroostook River, and is about sixty miles wide. The wild or unsettled portion is far more extensive. So that some hours only of travel in this direction will carry the curious to the verge of a primitive forest, more interesting, perhaps, on all accounts, than they would reach by going a thousand miles westward.”
—Henry David Thoreau (1817–1862)
“Why not a space flower? Why do we always expect metal ships?”
—W.D. Richter (b. 1945)