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:
“Every natural fact is a symbol of some spiritual fact. Every appearance in nature corresponds to some state of the mind, and that state of the mind can only be described by presenting that natural appearance as its picture.”
—Ralph Waldo Emerson (1803–1882)
“I take SPACE to be the central fact to man born in America.... I spell it large because it comes large here. Large and without mercy.”
—Charles Olson (1910–1970)