Factoring

Assumption: Every state consists of a set of features. The next value of a feature is dependent on a known subset of the features.