-Parse Tree OK ! Parse query OK ! Compil OK ! Run OK !
-##### Query #####
- /descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
-
-##### Doc #####
-<#document><a>
- <b/>
- <c/>
- <d/>
- <e>
- <f id="1" value="2"> <g/> <h/> </f>
- <i> </i>
- </e>
- <j> <k/> <l/> <m/> </j>
-</a></#document>
-
-##### ASTA #####
- # Query states: { q₁ q₂ q₈ q₉ }
- # Recognizing states: { q₀ q₃ q₄ q₅ q₆ q₇ }
- # Selecting states: { q₁ }
- # Bottom states: { q₂ q₈ q₉ }
- # Top states: { q₉ }
- # Queries transitions:
- | q₁ ----F(b)---> ↓₁q₀
- | q₂ ----Cof(ø)---> ↓₁q₂ ∨ ↓₂q₂ ∨ ↓₁q₁ ∨ ↓₂q₁
- | q₈ ----F(a)---> (↓₁q₂ ∨ ↓₁q₁) ∧ ↓₁q₇
- | q₈ ----Cof(ø)---> ↓₁q₈ ∨ ↓₂q₈
- | q₉ ----Cof(ø)---> ↓₁q₈
- # Recognizing transitions:
- | q₀ ----F(g)---> ⊤ | q₀ ----Cof(ø)---> ↓₂q₀
- | q₃ ----F(g)---> ⊤
- | q₃ ----Cof(ø)---> ↓₁q₃ ∨ ↓₂q₃
- | q₄ ----F(e)---> ⊤
- | q₄ ----Cof(ø)---> ↓₁q₄ ∨ ↓₂q₄
- | q₅ ----F(f)---> ̅↓̅₁̅q̅₄ ∧ ↓₁q₃
- | q₅ ----Cof(ø)---> ↓₁q₅ ∨ ↓₂q₅
- | q₆ ----F(e)---> ⊤ | q₆ ----Cof(ø)---> ↓₂q₆
- | q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅
- | q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇
-
-##### RUN #####
- # Mapping:
- | 14-->({ ø }, { ø }) | 16-->({ ø }, { ø })
- | 21-->({ ø }, { ø }) | 24-->({ ø }, { ø })
- | 25-->({ ø }, { ø }) | 34-->({ ø }, { ø })
- | 35-->({ ø }, { ø })
-
- # Doc:
-<#document '0><a '1>
- '2<b '3/>
- '4<c '5/>
- '6<d '7/>
- '8<e '9>
- '10<f '11 id="1" value="2"> '17<g '18/> '19<h '20/> '21</f>
- '22<i '23> '24</i>
- '25</e>
- '26<j '27> '28<k '29/> '30<l '31/> '32<m '33/> '34</j>
-'35</a></#document>
\ No newline at end of file