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:
“If, during his daily walk, he met any children flying kites, playing marbles, or whirling peg tops, he would buy the toys from them and exhort them not to gamble or indulge in vain sport.”
—For the State of Rhode Island, U.S. public relief program (1935-1943)
“I would have broke mine eye-strings, cracked them, but
To look upon him, till the diminution
Of space had pointed him sharp as my needle;
Nay, followed him till he had melted from
The smallness of a gnat to air, and then
Have turned mine eye and wept.”
—William Shakespeare (1564–1616)