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

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.