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:
“In a Kelton church, when a heated argument once began at morning services, a devout old deacon arose from his seat in the ‘amen corner’ and announced he was going to do for the church what the devil had never done—leave it.”
—Administration in the State of Sout, U.S. public relief program (1935-1943)
“At first thy little being came:
If nothing once, you nothing lose,
For when you die you are the same;
The space between, is but an hour,
The frail duration of a flower.”
—Philip Freneau (1752–1832)