tests/results/my.result

   1 Parse query OK ! Parse Tree OK ! Compil OK !
   2  ##### Query #####
   3       /descendant::a[descendant::c[child::e and not descendant::f[not descendant::e]/descendant::g]]/descendant::b[child::g]
   4  ##### ASTA #####
   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₈ }
   9  # Tom states: { 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₇
  25 ##### Doc #####
  26 <#document><a>
  27   <b/>
  28   <c/>
  29   <d/>
  30   <e>
  31     <f id="1" value="2"> <g/> <h/> </f>
  32     <i> </i>
  33   </e>
  34   <j> <k/> <l/> <m/> </j>
  35 </a></#document>