stateswhich
Stateswhich is a term used in discussions of state-based systems to denote an operation or concept that selects states from a state space that satisfy a given predicate. In this sense, it functions as a filtering or selection mechanism applied to a set of states.
Formally, if S is a set of states and P is a predicate that can be evaluated
In practical terms, stateswhich is commonly encountered in theoretical computer science topics such as automata theory,
Status and terminology vary, as stateswhich is not a standardized formal operator in mainstream literature. It
See also: state space, predicate, filter, model checking, graph query languages, selection operator.