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 the years of the Roman Republic, before the Christian era, Roman education was meant to produce those character traits that would make the ideal family man. Children were taught primarily to be good to their families. To revere gods, one’s parents, and the laws of the state were the primary lessons for Roman boys. Cicero described the goal of their child rearing as “self- control, combined with dutiful affection to parents, and kindliness to kindred.””
—C. John Sommerville (20th century)
“To play is nothing but the imitative substitution of a pleasurable, superfluous and voluntary action for a serious, necessary, imperative and difficult one. At the cradle of play as well as of artistic activity there stood leisure, tedium entailed by increased spiritual mobility, a horror vacui, the need of letting forms no longer imprisoned move freely, of filling empty time with sequences of notes, empty space with sequences of form.”
—Max J. Friedländer (1867–1958)