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:
“Our citizenship in the United States is our national character. Our citizenship in any particular state is only our local distinction. By the latter we are known at home, by the former to the world. Our great title is AMERICANS—our inferior one varies with the place.”
—Thomas Paine (1737–1809)
“Shall we now
Contaminate our fingers with base bribes,
And sell the mighty space of our large honors
For so much trash as may be grasped thus?
I had rather be a dog and bay the moon
Than such a Roman.”
—William Shakespeare (1564–1616)