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 fate of the poor shepherd, who, blinded and lost in the snow-storm, perishes in a drift within a few feet of his cottage door, is an emblem of the state of man. On the brink of the waters of life and truth, we are miserably dying.”
—Ralph Waldo Emerson (1803–1882)
“For good teaching rests neither in accumulating a shelfful of knowledge nor in developing a repertoire of skills. In the end, good teaching lies in a willingness to attend and care for what happens in our students, ourselves, and the space between us. Good teaching is a certain kind of stance, I think. It is a stance of receptivity, of attunement, of listening.”
—Laurent A. Daloz (20th century)