Internal UID: 0 States: { q₀ q₁ q₂ q₃ q₄ q₅ } Number of states: 6 Starting states: { q₀ } Selection states: { q₅ } Ranked states: 0:{ q₀ q₁ q₂ q₃ q₄ q₅ } Alternating transitions: _______________________________________________ q₁, ∑ → •q₀ _______________________________________________ q₂, ∑ → •q₁ _______________________________________________ q₃, ∑ → ↑q₂ ∧ ↑? ∨ ↑q₃ ∧ ↑? ∨ ←q₃ ∧ ←? _______________________________________________ q₄, {M} → •q₃ ∧ ¬is-attribute? ∧ is-element? q₄, ∑-{M} → ⊥ _______________________________________________ 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