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:
“He was discontented and wasted his life into the bargain; and yet he rated it as a gain in coming to America, that here you could get tea, and coffee, and meat every day. But the only true America is that country where you are at liberty to pursue such a mode of life as may enable you to do without these, and where the state does not endeavor to compel you to sustain slavery and war and other superfluous expenses which directly or indirectly result from the use of such things.”
—Henry David Thoreau (1817–1862)
“Through space the universe encompasses and swallows me up like an atom; through thought I comprehend the world.”
—Blaise Pascal (1623–1662)