1 Parse query OK ! Parse Tree OK ! Compil OK !
3 /descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
5 # Query states: { q₁ q₂ q₈ q₉ }
6 # Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
7 # Selecting states: { q₁ }
8 # Bottom states: { q₁ q₂ q₈ }
10 # Queries transitions:
11 | q₁ ----F(b)---> ↓₁q₀
12 | q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁
13 | q₈ ----F(a)---> (↓₁q₂ ∨ ↓₁q₁) ∧ ↓₁q₇
14 | q₈ ----Cof(ø)---> ↓₁q₈ ∨ ↓₂q₈
15 | q₉ ----Cof(ø)---> ↓₁q₈
16 # Recognizing transitions:
17 | q₀ ----F(g)---> ⊤ | q₀ ----Cof(ø)---> ↓₂q₀
18 | q₃ ----F(g)---> ⊤ | q₃ ----Cof(ø)---> ↓₁q₃ ∨ ↓₂q₃
19 | q₄ ----F(e)---> ⊤ | q₄ ----Cof(ø)---> ↓₁q₄ ∨ ↓₂q₄
20 | q₅ ----F(f)---> ̅↓̅₁̅q̅₄ ∧ ↓₁q₃
21 | q₅ ----Cof(ø)---> ↓₁q₅ ∨ ↓₂q₅ | q₆ ----F(e)---> ⊤
22 | q₆ ----Cof(ø)---> ↓₂q₆
23 | q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅
24 | q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇
31 <f id="1" value="2"> <g/> <h/> </f>
34 <j> <k/> <l/> <m/> </j>