P1 = //a[@c>1]//b[./text()=1]

P2 = //b[@c<5]

pop

a

b

@c

*

@*

q0

{}

q0

q0

Values:

values

q1

{8}

q5

q0

q0

..0

q2

{5,8}

q8

q5

q0

q0

1

q3

{4,8}

q6

q0

q0

2..4

q4

{4}

q7

q0

q0

5 ..

elem

q5

{7}

q12

q0

q0

q6

{2,7}

q12

q0

q0

q7

{2}

q0

q0

q8

{3}

q8

q0

comb

q9

{3,7}

q13

q8

q0

q10

{2,3,7}

q14

q13

q8

q0

q11

{2,3}

q14

q8

q0

elem

q12

{6}

q12

q0

q13

{3,6}

q13

q0

q14

{0,3}

q14

q0

comb

q15

{6,7}

q12

q0

Accept:

q16

{3,6,7}

q13

q0

{d1,d2}

{q24, q25, q26, q27}

q17

{0,3,7}

q24

q14

q0

{d1}

{q14, q17, q20, q23}

q18

{2,6,7}

q12

q0

{d2}

{q12, q13, q15, q16, q18, q19, q21, q22}

q19

{2,3,6,7}

q24

q13

q0

{}

otherwise

q20

{0,2,3,7}

q24

q14

q0

q21

{2,6}

q12

q0

q22

{2,3,6}

q24

q13

q0

q23

{0,2,3}

q14

q0

q24

{0,3,6}

q24

q0

comb

q25

{0,3,6,7}

q24

q0

q26

{0,2,3,6,7}

q24

q0

q27

{0,2,3,6}

q24

q0

add

q0

q5

q6

q7

q8

q12

q13

q14

q24

q0

{}

q0

q5

q6

q7

q8

q12

q13

q14

q24

q1

{8}

q1

q2

{5,8}

q2

q3

{4,8}

q3

q4

{4}

q4

q5

{7}

q5

q5

q6

q6

q9

q15

q16

q17

q25

q6

{2,7}

q6

q6

q6

q6

q10

q18

q19

q20

q26

q7

{2}

q7

q6

q6

q7

q11

q21

q22

q23

q27

q8

{3}

q8

q9

q10

q11

q8

q13

q13

q14

q24

q9

{3,7}

q9

q9

q10

q10

q9

q16

q16

q17

q25

q10

{2,3,7}

q10

q10

q10

q10

q10

q19

q19

q20

q26

q11

{2,3}

q11

q10

q10

q11

q11

q22

q22

q23

q27

q12

{6}

q12

q15

q18

q21

q13

q12

q13

q24

q24

q13

{3,6}

q13

q16

q19

q22

q13

q13

q13

q24

q24

q14

{0,3}

q14

q17

q20

q23

q14

q24

q24

q14

q24

q15

{6,7}

q15

q16

q18

q18

q16

q15

q16

q25

q25

q16

{3,6,7}

q16

q16

q19

q19

q16

q16

q16

q25

q25

q17

{0,3,7}

q17

q17

q27

q20

q17

q25

q25

q17

q25

q18

{2,6,7}

q18

q18

q18

q18

q19

q18

q19

q26

q26

q19

{2,3,6,7}

q19

q19

q19

q19

q19

q19

q19

q26

q26

q20

{0,2,3,7}

q20

q20

q20

q20

q20

q26

q26

q20

q26

q21

{2,6}

q21

q18

q18

q21

q22

q21

q22

q27

q27

q22

{2,3,6}

q22

q19

q19

q22

q22

q22

q22

q27

q27

q23

{0,2,3}

q23

q20

q20

q23

q23

q27

q27

q23

q27

q24

{0,3,6}

q24

q25

q26

q27

q24

q24

q24

q24

q24

q25

{0,3,6,7}

q25

q25

q26

q26

q25

q25

q25

q25

q25

q26

{0,2,3,6,7}

q26

q26

q26

q26

q26

q26

q26

q26

q26

q27

{0,2,3,6}

q27

q26

q26

q27

q27

q27

q27

q27

q27