State transition rules
Formal content for this section is being expanded from the canonical research corpus.
Determinism conditions
Formal content for this section is being expanded from the canonical research corpus.
Failure semantics
Formal content for this section is being expanded from the canonical research corpus.
Profile-dependent behavior
Formal content for this section is being expanded from the canonical research corpus.