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 story is told of a man who, seeing one of the thoroughbred stables for the first time, suddenly removed his hat and said in awed tones, “My Lord! The cathedral of the horse.””
—For the State of Kentucky, U.S. public relief program (1935-1943)
“The within, all that inner space one never sees, the brain and the heart and other caverns where thought and feeling dance their sabbath.”
—Samuel Beckett (1906–1989)