Some are simple, such as observing that a labelled transition system where the set of labels consists of only one element is equivalent to an unlabelled transition system.
Such a change, along with the military's continued retention of military personnel, would represent a dramatic and badly needed change to the transition system, he added.
Accordingly, in theoretical computer science the term "simulation" is a relation between state transition systems, useful in the study of operational semantics.