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₄
_______________________________________________