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:
“Wherever the State touches the personal life of the infant, the child, the youth, or the aged, helpless, defective in mind, body or moral nature, there the State enters “woman’s peculiar sphere,” her sphere of motherly succor and training, her sphere of sympathetic and self-sacrificing ministration to individual lives.”
—Anna Garlin Spencer (1851–1931)
“Thus all our dignity lies in thought. Through it we must raise ourselves, and not through space or time, which we cannot fill. Let us endeavor, then, to think well: this is the mainspring of morality.”
—Blaise Pascal (1623–1662)