If the target system's state space is itself finite and discrete, a sufficiently fine-grained comput...