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:
“To one who habitually endeavors to contemplate the true state of things, the political state can hardly be said to have any existence whatever. It is unreal, incredible, and insignificant to him, and for him to endeavor to extract the truth from such lean material is like making sugar from linen rags, when sugar-cane may be had.”
—Henry David Thoreau (1817–1862)
“The secret ones around a stone
Their lips withdrawn in meet surprise
Lie still, being naught but bone
With naught but space within their eyes....”
—Allen Tate (1899–1979)