-
Jakob Botsch Nielsen authored
A state being reachable means there is an execution starting from the empty state, that ends up in the state.
92325c90
A state being reachable means there is an execution starting from the empty state, that ends up in the state.