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₁₂
___________________________________________________________________