Internal UID: 0 States: { q₀ q₁ q₂ q₃ q₄ q₅ q₆ q₇ q₈ q₉ q₁₀ q₁₁ q₁₂ q₁₃ } Number of states: 14 Starting states: { q₀ } Selection states: { q₁₃ } Ranked states: 0:{ q₀ q₁ q₂ q₃ q₄ q₈ q₉ }, 1:{ q₅ q₆ q₇ q₁₀ }, 2:{ q₁₁ q₁₂ q₁₃ } Alternating transitions: ___________________________________________________________________ q₁, ∑ → •q₀ ___________________________________________________________________ q₂, ∑ → •q₁ ___________________________________________________________________ q₃, ∑ → ↑q₂ ∧ ↑? ∨ ↑q₃ ∧ ↑? ∨ ←q₃ ∧ ←? ___________________________________________________________________ q₄, {M} → •q₃ ∧ ¬is-attribute? ∧ is-element? q₄, ∑-{M} → ⊥ ___________________________________________________________________ q₅, ∑ → ↓q₅ ∧ ↓? ∨ →q₅ ∧ →? ∨ •q₄ ___________________________________________________________________ q₆, {A} → ↓q₅ ∧ ↓? ∧ ¬is-attribute? ∧ is-element? q₆, ∑-{A} → ⊥ ___________________________________________________________________ q₇, {P} → ↓q₇ ∧ ↓? ∨ →q₇ ∧ →? ∨ is-element? q₇, ∑-{P} → ↓q₇ ∧ ↓? ∨ →q₇ ∧ →? ___________________________________________________________________ q₈, {Q} → is-element? q₈, ∑-{Q} → ⊥ ___________________________________________________________________ q₉, ∑ → ↑q₈ ∧ ↑? ∨ ←q₉ ∧ ←? ___________________________________________________________________ q₁₀, ∑ → (↑q₈ ∧ ↑? ∨ ←q₉ ∧ ←? ∨ ↓q₇ ∧ ↓?) ∧ •q₆ ___________________________________________________________________ q₁₁, ∑ → ↑q₁₀ ∧ ↑? ∨ ←q₁₁ ∧ ←? ___________________________________________________________________ q₁₂, ∑ → (↑q₁₀ ∧ ↑? ∨ ←q₁₁ ∧ ←?) ∧ ¬is-attribute? ∧ is-element? ___________________________________________________________________ q₁₃, ∑ → •q₁₂ ___________________________________________________________________
#document A @id @pre @post @xml:lang B @id @pre @post C @id @pre @post #text D @id @pre @post #text E @id @pre @post F @id @pre @post G @id @pre @post #text H @id @pre @post @idrefs #text I @id @pre @post J @id @pre @post #text K @id @pre @post #text L @id @pre @post #comment #text M @id @pre @post #text N @id @pre @post O @id @pre @post #text P @id @pre @post #text ?myPI Q @id @pre @post @idrefs #text R @id @pre @post S @id @pre @post #text T @id @pre @post #text U @id @pre @post V @id @pre @post #text W @id @pre @post #text X @id @pre @post Y @id @pre @post #text Z @id @pre @post @idrefs @xml:lang #text