Document maintains `state` described by a cyclic directed graph of allowable string tag-based state transitions.
Document maintains
statedescribed by a cyclic directed graph of allowable string tag-based state transitions.