Skip to content

M
mtp
Commit 65141973 authored by SPARSA ROYCHOWDHURY's avatar SPARSA ROYCHOWDHURY
Browse files
Options

12/8/2017: 

1. The segmentation fault is resolved.
2. Some other bug are there
3. Have to resolve those also.
parent 32fffae3
Expand all Show whitespace changes
Inline Side-by-side
Showing with 1037 additions and 283280 deletions
output/pd1.txt
View file @ 65141973
...@@ -41,54 +41,14 @@ Abstract state of the on the fly tree automata(TA): ...@@ -41,54 +41,14 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
3 3
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1
L : 1
Transitions: 2
Weight Matrix :
0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2
L : 1 L : 1
Transitions: 2 3 Transitions: -40 2
Weight Matrix : Weight Matrix :
0,0 16384,0
0,0 0,0 0,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1
L : 1
Transitions: 3
Weight Matrix :
0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 3 4
Weight Matrix :
0,0 16384,0
0,0 0,0 0,0 0,0
...@@ -104,5 +64,5 @@ Tree-Width(K) : 2 ...@@ -104,5 +64,5 @@ Tree-Width(K) : 2
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000294 seconds. Execution time : 0.000392 seconds.
output/rep1.txt
View file @ 65141973
...@@ -71,3 +71,78 @@ Abstract state of the on the fly tree automata(TA): ...@@ -71,3 +71,78 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: 0 1 5
Weight Matrix :
0,0 16384,0 16384,0
0,0 0,0 16384,0
0,0 0,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 1 3 4
Weight Matrix :
0,0 16384,0 0,0 0,0
0,0 0,0 14157,0 256,0
-14916,1 0,0 0,0 0,0
-344,0 0,0 -1,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: 0 5 1
Weight Matrix :
0,0 16384,0 16384,0
0,0 0,0 16384,0
0,0 0,0 0,0
Push done at L : 0
8
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 1 3 4
Weight Matrix :
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-344,0 -344,0 -1,0 0,0
Push done at L : 0
The language recognized by the TPDA is EMPTY!
#stacks : 1
#clocks : 2
#states : 5
#transitions : 5
Maximum constant(M) : 3
Tree-Width(K) : 8
---END OF EXECUTION---
Execution time : 0.000447 seconds.
output/rep2.txt
View file @ 65141973
...@@ -35,5 +35,5 @@ Tree-Width(K) : 8 ...@@ -35,5 +35,5 @@ Tree-Width(K) : 8
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000161 seconds. Execution time : 0.00019 seconds.
output/sample.txt
View file @ 65141973
...@@ -35,5 +35,5 @@ Tree-Width(K) : 8 ...@@ -35,5 +35,5 @@ Tree-Width(K) : 8
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000123 seconds. Execution time : 0.000162 seconds.
output/t1.txt
View file @ 65141973
...@@ -80,5 +80,5 @@ Tree-Width(K) : 3 ...@@ -80,5 +80,5 @@ Tree-Width(K) : 3
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000183 seconds. Execution time : 0.0004 seconds.
output/t10.txt
View file @ 65141973
...@@ -65,5 +65,5 @@ Tree-Width(K) : 4 ...@@ -65,5 +65,5 @@ Tree-Width(K) : 4
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000167 seconds. Execution time : 0.000213 seconds.
output/t11.txt
View file @ 65141973
...@@ -259,5 +259,5 @@ Tree-Width(K) : 5 ...@@ -259,5 +259,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000492 seconds. Execution time : 0.000435 seconds.
output/t13.txt
View file @ 65141973
...@@ -65,5 +65,5 @@ Tree-Width(K) : 4 ...@@ -65,5 +65,5 @@ Tree-Width(K) : 4
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000155 seconds. Execution time : 0.000151 seconds.
output/t8.txt
View file @ 65141973
...@@ -51,5 +51,5 @@ Tree-Width(K) : 3 ...@@ -51,5 +51,5 @@ Tree-Width(K) : 3
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000135 seconds. Execution time : 0.000153 seconds.
output/tp2_0.txt
View file @ 65141973
...@@ -70,3 +70,100 @@ Abstract state of the on the fly tree automata(TA): ...@@ -70,3 +70,100 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 2 3 4
Weight Matrix :
0,0 770,0 0,0 0,0
0,0 0,0 0,0 4294914358,1
-41,0 0,0 0,0 4294914358,1
-12598,1 0,0 0,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: -40 -40 2 3 4
Weight Matrix :
0,0 0,0 0,0 0,0 41,0
0,0 0,0 4294918368,1 0,0 1,0
-32694,0 0,0 0,0 0,0 0,0
0,0 -49,0 0,0 0,0 30567,0
-12598,1 0,0 -1,0 0,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: 0 -40 2 3 4
Weight Matrix :
0,0 4294922313,1 30567,0 0,0 0,0
-30567,0 0,0 0,0 0,0 33,0
-259,0 0,0 0,0 0,0 33,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
Push done at L : 0
8
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: 0 -40 2 3 4
Weight Matrix :
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
Push done at L : 0
9
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: -40 -40 2 3 4
Weight Matrix :
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 30567,0 0,0
0,0 0,0 0,0 0,0 4294916736,1
0,0 0,0 -33,0 0,0 0,0
0,0 -4,0 0,0 0,0 0,0
Push done at L : 0
The language recognized by the TPDA is EMPTY!
#stacks : 1
#clocks : 2
#states : 10
#transitions : 9
Maximum constant(M) : 19
Tree-Width(K) : 8
---END OF EXECUTION---
Execution time : 0.000308 seconds.
output/tp38.txt
View file @ 65141973
...@@ -27,42 +27,15 @@ Abstract state of the on the fly tree automata(TA): ...@@ -27,42 +27,15 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
2 2
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1
L : 1
Transitions: 4
Weight Matrix :
0,0
Push done at L : 0
3
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2
L : 1 L : 1
Transitions: 4 1 Transitions: -40 4
Weight Matrix :
0,0 1,0
-1,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 4 2
Weight Matrix : Weight Matrix :
0,0 16384,0 0,0 16384,0
-1,0 0,0 0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -77,5 +50,5 @@ Tree-Width(K) : 5 ...@@ -77,5 +50,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000208 seconds. Execution time : 0.000137 seconds.
output/tp3_0.txt
View file @ 65141973
...@@ -56,3 +56,33 @@ Abstract state of the on the fly tree automata(TA): ...@@ -56,3 +56,33 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: 0 0 1 2 3
Weight Matrix :
0,0 0,0 0,0 0,0 16384,0
0,0 0,0 0,0 0,0 16384,0
0,0 0,0 0,0 0,0 16384,0
0,0 0,0 0,0 0,0 16384,0
0,0 0,0 0,0 0,0 0,0
Push done at L : 0
The language recognized by the TPDA is EMPTY!
#stacks : 1
#clocks : 3
#states : 10
#transitions : 9
Maximum constant(M) : 13
Tree-Width(K) : 11
---END OF EXECUTION---
Execution time : 0.000191 seconds.
output/tp6.txt
View file @ 65141973
...@@ -41,6 +41,21 @@ Abstract state of the on the fly tree automata(TA): ...@@ -41,6 +41,21 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
3 3
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 1
Weight Matrix :
0,0 0,0 4294911952,1
0,0 0,0 0,0
-25573,0 -1,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2
...@@ -52,6 +67,54 @@ Abstract state of the on the fly tree automata(TA): ...@@ -52,6 +67,54 @@ Abstract state of the on the fly tree automata(TA):
-1,0 0,0 -1,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 32680,0 0,0 25573,0
0,0 0,0 1,0 0,0
0,0 0,0 0,0 1,0
-33,0 0,0 -1,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 0,0 0,0 253,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 256,0
-8777,1 0,0 -1,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 -40 0 1
Weight Matrix :
0,0 0,0 0,0 253,0
0,0 0,0 0,0 253,0
0,0 0,0 0,0 253,0
-8777,1 -8777,1 -1,0 0,0
Push done at L : 0 Push done at L : 0
The language recognized by the TPDA is EMPTY! The language recognized by the TPDA is EMPTY!
...@@ -64,5 +127,5 @@ Tree-Width(K) : 8 ...@@ -64,5 +127,5 @@ Tree-Width(K) : 8
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000146 seconds. Execution time : 0.000246 seconds.
output/tp60.txt
View file @ 65141973
...@@ -38,6 +38,51 @@ Abstract state of the on the fly tree automata(TA): ...@@ -38,6 +38,51 @@ Abstract state of the on the fly tree automata(TA):
0,0 0,0 0,0 0,0
Push done at L : 0
3
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 2
Weight Matrix :
0,0 4294914995,1 0,0
0,0 0,0 0,0
0,0 0,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 2
Weight Matrix :
0,0 0,0 4294922849,1
0,0 0,0 32756,0
-33,0 0,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 2
Weight Matrix :
0,0 0,0 0,0
-21089,1 0,0 32756,0
-33,0 0,0 0,0
Push done at L : 0 Push done at L : 0
The language recognized by the TPDA is EMPTY! The language recognized by the TPDA is EMPTY!
...@@ -50,5 +95,5 @@ Tree-Width(K) : 5 ...@@ -50,5 +95,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000123 seconds. Execution time : 0.0002 seconds.
output/tp62.txt
View file @ 65141973
...@@ -43,12 +43,13 @@ Abstract state of the on the fly tree automata(TA): ...@@ -43,12 +43,13 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1 1----2
L : 1 L : 1
Transitions: 1 Transitions: -40 1
Weight Matrix : Weight Matrix :
0,0 0,0 22352,0
0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -90,5 +91,5 @@ Tree-Width(K) : 5 ...@@ -90,5 +91,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000189 seconds. Execution time : 0.000195 seconds.
output/tp63.txt
View file @ 65141973
...@@ -35,5 +35,5 @@ Tree-Width(K) : 5 ...@@ -35,5 +35,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000119 seconds. Execution time : 0.000121 seconds.
output/tp64.txt
View file @ 65141973
...@@ -38,6 +38,149 @@ Abstract state of the on the fly tree automata(TA): ...@@ -38,6 +38,149 @@ Abstract state of the on the fly tree automata(TA):
0,0 0,0 0,0 0,0
Push done at L : 0
3
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 2
Weight Matrix :
0,0 20385,0 0,0
0,0 0,0 0,0
0,0 0,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 2
Weight Matrix :
0,0 7281,0 7281,0
0,0 0,0 18,0
-33,0 0,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 2
Weight Matrix :
0,0 4294914572,1 7281,0 0,0
0,0 0,0 0,0 18,0
0,0 0,0 0,0 0,0
-33,0 0,0 0,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 2
Weight Matrix :
0,0 7281,0 20385,0 18,0
0,0 0,0 0,0 0,0
-32569,0 0,0 0,0 0,0
-20385,0 -18,0 0,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 2
Weight Matrix :
0,0 33,0 7281,0 0,0
0,0 0,0 18,0 0,0
-18,0 0,0 0,0 7281,0
-20385,0 -18,0 0,0 0,0
Push done at L : 0
8
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 2
Weight Matrix :
0,0 7281,0 7281,0 0,0
0,0 0,0 0,0 0,0
-32569,0 0,0 0,0 0,0
-20385,0 -33,0 0,0 0,0
Push done at L : 0
9
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: -40 10 -40 0 2
Weight Matrix :
0,0 0,0 0,0 0,0 0,0
0,0 0,0 33,0 0,0 20385,0
-18,0 0,0 0,0 0,0 20385,0
-30304,0 -33,0 0,0 0,0 0,0
0,0 0,0 -25520,0 0,0 0,0
Push done at L : 0
10
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 -40 0 2
Weight Matrix :
0,0 4294922313,1 0,0 0,0
0,0 0,0 0,0 2776,0
0,0 0,0 0,0 0,0
-18,0 -20385,0 0,0 0,0
Push done at L : 0
11
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 -40 0 2
Weight Matrix :
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-18,0 -18,0 0,0 0,0
Push done at L : 0 Push done at L : 0
The language recognized by the TPDA is EMPTY! The language recognized by the TPDA is EMPTY!
...@@ -50,5 +193,5 @@ Tree-Width(K) : 5 ...@@ -50,5 +193,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000121 seconds. Execution time : 0.000321 seconds.
output/tp67.txt
View file @ 65141973
...@@ -10,5 +10,5 @@ Tree-Width(K) : 5 ...@@ -10,5 +10,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 7.8e-05 seconds. Execution time : 9.6e-05 seconds.
output/tpd1.txt
View file @ 65141973
...@@ -44,13 +44,142 @@ Abstract state of the on the fly tree automata(TA): ...@@ -44,13 +44,142 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2----3
L : 1 L : 1
Transitions: 1 2 Transitions: -40 1 2
Weight Matrix : Weight Matrix :
0,0 16384,0 0,0 0,0 4294922313,1
0,0 0,0 0,0 0,0 0,0
-33,0 0,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 1 2
Weight Matrix :
0,0 0,0 0,0 31616,0
-31616,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-33,0 0,0 0,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 1 2
Weight Matrix :
0,0 243,0 0,0 0,0
-1,0 0,0 0,0 4294924504,1
0,0 0,0 0,0 0,0
-19292,0 0,0 0,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 1 2
Weight Matrix :
0,0 0,0 0,0 243,0
-256,0 0,0 0,0 18368,0
0,0 0,0 0,0 0,0
-19292,0 0,0 0,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 1 2
Weight Matrix :
0,0 243,0 0,0 0,0
0,0 0,0 31616,0 4294924504,1
0,0 0,0 0,0 0,0
-19292,0 0,0 0,0 0,0
Push done at L : 0
8
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 1 2
Weight Matrix :
0,0 32758,0 0,0 243,0
0,0 0,0 31616,0 0,0
0,0 0,0 0,0 0,0
-19292,0 0,0 0,0 0,0
Push done at L : 0
9
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 1 2
Weight Matrix :
0,0 0,0 0,0 0,0
0,0 0,0 145,0 0,0
-65,0 0,0 0,0 0,0
0,0 -33,0 0,0 0,0
Push done at L : 0
10
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 -40 1 2
Weight Matrix :
0,0 32758,0 0,0 243,0
0,0 0,0 0,0 4294920551,1
-49,0 0,0 0,0 0,0
-19292,0 -31616,0 0,0 0,0
Push done at L : 0
11
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 -40 1 2
Weight Matrix :
0,0 0,0 0,0 243,0
0,0 0,0 0,0 243,0
0,0 0,0 0,0 243,0
-19292,0 -19292,0 0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -65,5 +194,5 @@ Tree-Width(K) : 5 ...@@ -65,5 +194,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000149 seconds. Execution time : 0.000351 seconds.
output/tpdis0.txt
View file @ 65141973
...@@ -606,5 +606,5 @@ Tree-Width(K) : 17 ...@@ -606,5 +606,5 @@ Tree-Width(K) : 17
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.002314 seconds. Execution time : 0.004181 seconds.
output/tpg0.txt
View file @ 65141973
...@@ -58,13 +58,117 @@ Abstract state of the on the fly tree automata(TA): ...@@ -58,13 +58,117 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2----3----4
L : 1
Transitions: -40 0 2 3
Weight Matrix :
0,0 4294909765,1 0,0 29737,0
0,0 0,0 0,0 0,0
-219,0 -32620,0 0,0 0,0
-33,0 0,0 -1,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: -40 -40 0 2 3
Weight Matrix :
0,0 0,0 0,0 29737,0 0,0
0,0 0,0 0,0 0,0 0,0
-31576,0 0,0 0,0 65,0 0,0
-17427,0 -1,0 0,0 0,0 29737,0
-14833,1 0,0 0,0 -1,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: -40 -40 0 2 3
Weight Matrix :
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 33,0
-33,0 -31448,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
-5980,1 0,0 0,0 -1,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: 0 -40 0 2 3
Weight Matrix :
0,0 0,0 0,0 0,0 46,0
0,0 0,0 0,0 29737,0 0,0
0,0 -7024,1 0,0 1,0 0,0
-31576,0 0,0 -33,0 0,0 0,0
0,0 0,0 0,0 -1,0 0,0
Push done at L : 0
8
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: 0 -40 0 2 3
Weight Matrix :
0,0 0,0 0,0 0,0 46,0
0,0 0,0 0,0 0,0 46,0
0,0 0,0 0,0 0,0 46,0
0,0 0,0 0,0 0,0 46,0
0,0 0,0 0,0 -1,0 0,0
Push done at L : 0
9
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1
Transitions: -40 -40 0 2 3
Weight Matrix :
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 -225,0 0,0 0,0
0,0 0,0 0,0 -1,0 0,0
Push done at L : 0
10
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4----5
L : 1 L : 1
Transitions: 2 3 Transitions: 0 -40 0 2 3
Weight Matrix : Weight Matrix :
0,0 39,0 0,0 0,0 0,0 0,0 0,0
-1,0 0,0 0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 -1,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -79,5 +183,5 @@ Tree-Width(K) : 8 ...@@ -79,5 +183,5 @@ Tree-Width(K) : 8
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000165 seconds. Execution time : 0.000518 seconds.
output/tpg1.txt
View file @ 65141973
...@@ -44,13 +44,79 @@ Abstract state of the on the fly tree automata(TA): ...@@ -44,13 +44,79 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2----3----4
L : 1 L : 1
Transitions: 1 2 Transitions: -40 0 1 2
Weight Matrix : Weight Matrix :
0,0 0,0 0,0 4294908588,1 0,0 16109,0
0,0 0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-33,0 -6828,1 0,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 0 1 2
Weight Matrix :
0,0 0,0 32562,0 0,0
0,0 0,0 0,0 4294908588,1
0,0 0,0 0,0 1,0
-17054,0 0,0 0,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 0 1 2
Weight Matrix :
0,0 32562,0 0,0 29,0
0,0 0,0 24656,0 4294908588,1
-17054,0 -1,0 0,0 49,0
-17054,0 0,0 0,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 0 1 2
Weight Matrix :
0,0 926,0 29,0 0,0
0,0 0,0 2,0 4294908588,1
-17054,0 0,0 0,0 33,0
-513,0 -4,0 0,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 0 1 2
Weight Matrix :
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-513,0 -513,0 0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -65,5 +131,5 @@ Tree-Width(K) : 8 ...@@ -65,5 +131,5 @@ Tree-Width(K) : 8
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000148 seconds. Execution time : 0.000369 seconds.
output/tpg11.txt
View file @ 65141973
...@@ -24,6 +24,148 @@ Abstract state of the on the fly tree automata(TA): ...@@ -24,6 +24,148 @@ Abstract state of the on the fly tree automata(TA):
0,0 0,0 0,0 0,0
Push done at L : 0
2
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 1
Weight Matrix :
0,0 0,0 16384,0
0,0 0,0 16384,0
0,0 0,0 0,0
Push done at L : 0
3
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: -40 0 1
Weight Matrix :
0,0 0,0 4294922313,1
0,0 0,0 32568,0
-33,0 0,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 0,0 0,0 4294903296,1
0,0 0,0 3949,0 0,0
0,0 0,0 0,0 4294903296,1
-33,0 0,0 0,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-12436,0 -20,0 0,0 0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 0,0 2,0 20,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-12436,0 0,0 0,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 0,0 13968,0 0,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-12436,0 0,0 0,0 0,0
Push done at L : 0
8
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 0,0 33,0 0,0
0,0 0,0 0,0 5,0
0,0 0,0 0,0 32568,0
-12436,0 0,0 0,0 0,0
Push done at L : 0
9
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: -40 -40 0 1
Weight Matrix :
0,0 0,0 5,0 0,0
0,0 0,0 4,0 17040,0
-10286,0 0,0 0,0 32568,0
-2,0 0,0 0,0 0,0
Push done at L : 0
10
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3----4
L : 1
Transitions: 0 -40 0 1
Weight Matrix :
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0
-2,0 -2,0 0,0 0,0
Push done at L : 0 Push done at L : 0
The language recognized by the TPDA is EMPTY! The language recognized by the TPDA is EMPTY!
...@@ -36,5 +178,5 @@ Tree-Width(K) : 5 ...@@ -36,5 +178,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000113 seconds. Execution time : 0.000345 seconds.
output/tpg2.txt
View file @ 65141973
...@@ -10,5 +10,5 @@ Tree-Width(K) : 5 ...@@ -10,5 +10,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 6.3e-05 seconds. Execution time : 8.6e-05 seconds.
output/tpg9.txt
View file @ 65141973
This diff is collapsed.
output/tps10.txt
View file @ 65141973
...@@ -10,5 +10,5 @@ Tree-Width(K) : 5 ...@@ -10,5 +10,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000102 seconds. Execution time : 9e-05 seconds.
output/tps11.txt
View file @ 65141973
...@@ -10,5 +10,5 @@ Tree-Width(K) : 5 ...@@ -10,5 +10,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 8.9e-05 seconds. Execution time : 9.1e-05 seconds.
output/tps2.txt
View file @ 65141973
...@@ -27,163 +27,11 @@ Abstract state of the on the fly tree automata(TA): ...@@ -27,163 +27,11 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
2 2
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1
L : 1
Transitions: 1
Weight Matrix :
0,0
Push done at L : 0
3
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 1 2
Weight Matrix :
0,0 0,0
0,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 1 3
Weight Matrix :
0,0 0,0
0,0 0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1
L : 1
Transitions: 2
Weight Matrix :
0,0
Push done at L : 0
6
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 1 4
Weight Matrix :
0,0 0,0
0,0 0,0
Push done at L : 0
7
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 1 5
Weight Matrix :
0,0 1,0
-1,0 0,0
Push done at L : 0
8
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 1 6
Weight Matrix :
0,0 0,0
0,0 0,0
Push done at L : 0
9
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 2 2
Weight Matrix :
0,0 0,0
0,0 0,0
Push done at L : 0
10
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 2 3
Weight Matrix :
0,0 0,0
0,0 0,0
Push done at L : 0
11
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 2 4
Weight Matrix :
0,0 0,0
0,0 0,0
Push done at L : 0
12
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 2 5
Weight Matrix :
0,0 1,0
-1,0 0,0
Push done at L : 0
13
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2
L : 1 L : 1
Transitions: 2 6 Transitions: -40 1
Weight Matrix : Weight Matrix :
0,0 0,0 0,0 0,0
...@@ -202,5 +50,5 @@ Tree-Width(K) : 5 ...@@ -202,5 +50,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000489 seconds. Execution time : 0.000152 seconds.
output/tps4.txt
View file @ 65141973
...@@ -43,12 +43,13 @@ Abstract state of the on the fly tree automata(TA): ...@@ -43,12 +43,13 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1 1----2
L : 1 L : 1
Transitions: 1 Transitions: -40 1
Weight Matrix : Weight Matrix :
0,0 0,0 4294915280,1
0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -71,13 +72,14 @@ Abstract state of the on the fly tree automata(TA): ...@@ -71,13 +72,14 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2----3
L : 1 L : 1
Transitions: 1 2 Transitions: -40 -40 1
Weight Matrix : Weight Matrix :
0,0 1,0 0,0 6,0 0,0
-1,0 0,0 0,0 0,0 6,0
0,0 0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -100,12 +102,14 @@ Abstract state of the on the fly tree automata(TA): ...@@ -100,12 +102,14 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1 1----2----3
L : 1 L : 1
Transitions: 2 Transitions: -40 -40 1
Weight Matrix : Weight Matrix :
0,0 0,0 64,0 21690,0
-16907,1 0,0 0,0
-33,0 0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -128,13 +132,29 @@ Abstract state of the on the fly tree automata(TA): ...@@ -128,13 +132,29 @@ Abstract state of the on the fly tree automata(TA):
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2----3
L : 1 L : 1
Transitions: 2 3 Transitions: -40 -40 1
Weight Matrix : Weight Matrix :
0,0 16384,0 0,0 0,0 0,0
0,0 0,0 0,0 0,0 0,0
0,0 0,0 0,0
Push done at L : 0
10
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2----3
L : 1
Transitions: 0 -40 1
Weight Matrix :
0,0 0,0 0,0
0,0 0,0 0,0
0,0 0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -149,5 +169,5 @@ Tree-Width(K) : 5 ...@@ -149,5 +169,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000396 seconds. Execution time : 0.00033 seconds.
output/tps5.txt
View file @ 65141973
...@@ -35,5 +35,5 @@ Tree-Width(K) : 5 ...@@ -35,5 +35,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000148 seconds. Execution time : 0.000181 seconds.
output/tps9.txt
View file @ 65141973
...@@ -27,55 +27,15 @@ Abstract state of the on the fly tree automata(TA): ...@@ -27,55 +27,15 @@ Abstract state of the on the fly tree automata(TA):
Push done at L : 0 Push done at L : 0
2 2
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1
L : 1
Transitions: 1
Weight Matrix :
0,0
Push done at L : 0
3
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1----2
L : 1
Transitions: 1 2
Weight Matrix :
0,0 2,0
-1,0 0,0
Push done at L : 0
4
Abstract state of the on the fly tree automata(TA):
Points in the automaton:
1
L : 1
Transitions: 2
Weight Matrix :
0,0
Push done at L : 0
5
Abstract state of the on the fly tree automata(TA): Abstract state of the on the fly tree automata(TA):
Points in the automaton: Points in the automaton:
1----2 1----2
L : 1 L : 1
Transitions: 2 3 Transitions: -40 1
Weight Matrix : Weight Matrix :
0,0 2,0 0,0 2,0
-2,0 0,0 0,0 0,0
Push done at L : 0 Push done at L : 0
...@@ -90,5 +50,5 @@ Tree-Width(K) : 5 ...@@ -90,5 +50,5 @@ Tree-Width(K) : 5
---END OF EXECUTION--- ---END OF EXECUTION---
Execution time : 0.000254 seconds. Execution time : 0.00019 seconds.
src/tpdaZone.cpp
View file @ 65141973
...@@ -1106,20 +1106,31 @@ stateZone* stateZone::sucState(){ ...@@ -1106,20 +1106,31 @@ stateZone* stateZone::sucState(){
short curReset, reset; // temp vars for keeping reset bit vector short curReset, reset; // temp vars for keeping reset bit vector
char count; // will contain #points in the new state char count; // will contain #points in the new state
//char i,j; // counters //char i,j; // counters
vector<char> targetToSuc; //vector<char> targetToSuc;
// iterate through all points right to left except the last point // iterate through all points right to left except the last point
curReset = transitions[ del[P-1] ].reset; curReset = transitions[ del[P-1] ].reset;
count = 1; //we have to take the last point, so initialize 'count' to 1 count = 1; //we have to take the last point, so initialize 'count' to 1
for(char i=0; i <= P-2; i++) { for(char i=P-2; i >= 0; i--) {
reset = transitions[ del[i] ].reset; // reset bit vector for point i+1 reset = transitions[ del[i] ].reset; // reset bit vector for point i+1
if( reset & (~curReset) & (~1) ) { // if (i+1)-th point has additional reset for some clock if( reset & (~curReset) & (~1) ) { // if (i+1)-th point has additional reset for some clock
count++; count++;
curReset |= reset; curReset |= reset;
targetToSuc.push_back(i); //targetToSuc.push_back(i);
}
}
count++;
char * newToOldRef = new char[count];
newToOldRef[count-1] = P-1;
//targetToSuc.push_back(P-1);
for(char i=P-2,j=count-2; i >= 0; i--,j--) {
reset = transitions[ del[i] ].reset; // reset bit vector for point i+1
if( reset & (~curReset) & (~1) ) { // if (i+1)-th point has additional reset for some clock
count++;
curReset |= reset;
newToOldRef[j]= i;
} }
} }
targetToSuc.push_back(P-1);
stateZone* vs = new stateZone(); // new template state stateZone* vs = new stateZone(); // new template state
...@@ -1132,7 +1143,7 @@ stateZone* stateZone::sucState(){ ...@@ -1132,7 +1143,7 @@ stateZone* stateZone::sucState(){
{ {
for(char j =0 ; j< count ; j++) for(char j =0 ; j< count ; j++)
{ {
vs->w[index(i,j,count)]=w[index(targetToSuc[i],targetToSuc[j],P)]; vs->w[index(i,j,count)]=w[index(newToOldRef[i],newToOldRef[j],P)];
} }
} }
...@@ -1161,7 +1172,7 @@ stateZone* stateZone::sucState(){ ...@@ -1161,7 +1172,7 @@ stateZone* stateZone::sucState(){
// vs->f = nf; // copy flag information, no stack info is there till now for the template state // vs->f = nf; // copy flag information, no stack info is there till now for the template state
vs->f = f; vs->f = f;
delete[] newToOldRef;
return vs; return vs;
} }
...@@ -1612,7 +1623,8 @@ bool isEmptyZone() { ...@@ -1612,7 +1623,8 @@ bool isEmptyZone() {
} }
} }
vs = rs->sucState(); vs = rs->sucState();
getchar(); //cout << "hello bug";
//getchar();
if(identity(vs)) if(identity(vs))
{ {
xrs = getTrackZone(0,-1,count); xrs = getTrackZone(0,-1,count);
......
tree
View file @ 65141973
No preview for this file type
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment