With a little thought it will be clear that at an appropriate level of abstraction the problem we have just described involves determinization.
the result is deterministic in the sense that for any input, there is a unique path through the lattice.