# Query states: { q₁ q₂ q₈ q₉ }
# Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
# Selecting states: { q₁ }
- # Bottom states: { qâ\82\81 qâ\82\82 qâ\82\88 }
- # Tom states: { q₉ }
+ # Bottom states: { qâ\82\82 qâ\82\88 qâ\82\89 }
+ # Top states: { q₉ }
# Queries transitions:
| q₁ ----F(b)---> ↓₁q₀
| q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁