It would be encoded in a lookup-table that is populated by an iterating algorithm.

The size of this lookup-table corresponds to the state space, hence it can't be too big.