summaryrefslogtreecommitdiff
path: root/prolog/problems/dcg/syntax_tree.svg
blob: a1a8083b0ea45c5043f88e05314f4d889305bb9b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="332pt" height="223pt"
 viewBox="0.00 0.00 332.00 223.11" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(0 223.108)">
<title>%3</title>
<polygon fill="white" stroke="none" points="0,-0 0,-223.108 332,-223.108 332,-0 0,-0"/>
<!-- sa1 -->
<g id="node1" class="node"><title>sa1</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="53" cy="-206.844" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="53" y="-203.144" font-family="sans" font-size="14.00">s</text>
</g>
<!-- sa2 -->
<g id="node2" class="node"><title>sa2</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="99" cy="-143.317" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="99" y="-139.617" font-family="sans" font-size="14.00">s</text>
</g>
<!-- sa1&#45;&gt;sa2 -->
<g id="edge2" class="edge"><title>sa1&#45;&gt;sa2</title>
<path fill="none" stroke="black" d="M63.6689,-191.574C69.9392,-183.187 77.9454,-172.479 84.7505,-163.377"/>
<polygon fill="black" stroke="black" points="86.478,-164.573 88.3889,-158.51 83.1142,-162.058 86.478,-164.573"/>
<text text-anchor="middle" x="82.5" y="-173.181" font-family="sans" font-size="8.00"> 2</text>
</g>
<!-- aa1 -->
<g id="node4" class="node"><title>aa1</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="27" cy="-143.317" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="27" y="-139.617" font-family="mono" font-size="14.00">aa</text>
</g>
<!-- sa1&#45;&gt;aa1 -->
<g id="edge1" class="edge"><title>sa1&#45;&gt;aa1</title>
<path fill="none" stroke="black" d="M46.7061,-190.95C43.4336,-183.206 39.3803,-173.614 35.8023,-165.147"/>
<polygon fill="black" stroke="black" points="37.6865,-164.211 33.4165,-159.502 33.8177,-165.846 37.6865,-164.211"/>
<text text-anchor="middle" x="45.5" y="-173.181" font-family="sans" font-size="8.00"> 2</text>
</g>
<!-- sa3 -->
<g id="node3" class="node"><title>sa3</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="135" cy="-79.7904" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="135" y="-76.0904" font-family="sans" font-size="14.00">s</text>
</g>
<!-- sa2&#45;&gt;sa3 -->
<g id="edge4" class="edge"><title>sa2&#45;&gt;sa3</title>
<path fill="none" stroke="black" d="M107.531,-127.736C112.284,-119.614 118.267,-109.388 123.435,-100.555"/>
<polygon fill="black" stroke="black" points="125.312,-101.506 126.53,-95.2667 121.687,-99.3849 125.312,-101.506"/>
<text text-anchor="middle" x="123.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
</g>
<!-- aa2 -->
<g id="node5" class="node"><title>aa2</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="63" cy="-79.7904" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="63" y="-76.0904" font-family="mono" font-size="14.00">aa</text>
</g>
<!-- sa2&#45;&gt;aa2 -->
<g id="edge3" class="edge"><title>sa2&#45;&gt;aa2</title>
<path fill="none" stroke="black" d="M90.4685,-127.736C85.7161,-119.614 79.7328,-109.388 74.5646,-100.555"/>
<polygon fill="black" stroke="black" points="76.3129,-99.3849 71.4703,-95.2667 72.6879,-101.506 76.3129,-99.3849"/>
<text text-anchor="middle" x="87.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
</g>
<!-- ea -->
<g id="node6" class="node"><title>ea</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="135" cy="-16.2635" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="135" y="-12.5635" font-family="mono" font-size="14.00">[]</text>
</g>
<!-- sa3&#45;&gt;ea -->
<g id="edge5" class="edge"><title>sa3&#45;&gt;ea</title>
<path fill="none" stroke="black" d="M135,-63.2645C135,-55.9222 135,-47.0305 135,-39.0293"/>
<polygon fill="black" stroke="black" points="137.1,-38.5712 135,-32.5712 132.9,-38.5712 137.1,-38.5712"/>
<text text-anchor="middle" x="138.5" y="-46.1269" font-family="sans" font-size="8.00"> 1</text>
</g>
<!-- sb1 -->
<g id="node7" class="node"><title>sb1</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="287" cy="-206.844" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="287" y="-203.144" font-family="sans" font-size="14.00">s</text>
</g>
<!-- sb2 -->
<g id="node8" class="node"><title>sb2</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="233" cy="-143.317" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="233" y="-139.617" font-family="sans" font-size="14.00">s</text>
</g>
<!-- sb1&#45;&gt;sb2 -->
<g id="edge6" class="edge"><title>sb1&#45;&gt;sb2</title>
<path fill="none" stroke="black" d="M275.016,-192.189C267.395,-183.507 257.435,-172.158 249.125,-162.69"/>
<polygon fill="black" stroke="black" points="250.487,-161.058 244.951,-157.934 247.33,-163.829 250.487,-161.058"/>
<text text-anchor="middle" x="267.5" y="-173.181" font-family="sans" font-size="8.00"> 3</text>
</g>
<!-- ab1 -->
<g id="node10" class="node"><title>ab1</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="305" cy="-143.317" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="305" y="-139.617" font-family="mono" font-size="14.00">aa</text>
</g>
<!-- sb1&#45;&gt;ab1 -->
<g id="edge7" class="edge"><title>sb1&#45;&gt;ab1</title>
<path fill="none" stroke="black" d="M291.449,-190.635C293.64,-183.149 296.318,-173.995 298.713,-165.807"/>
<polygon fill="black" stroke="black" points="300.807,-166.127 300.477,-159.779 296.776,-164.948 300.807,-166.127"/>
<text text-anchor="middle" x="301.5" y="-173.181" font-family="sans" font-size="8.00"> 3</text>
</g>
<!-- sb3 -->
<g id="node9" class="node"><title>sb3</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="279" cy="-79.7904" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="279" y="-76.0904" font-family="sans" font-size="14.00">s</text>
</g>
<!-- sb2&#45;&gt;sb3 -->
<g id="edge9" class="edge"><title>sb2&#45;&gt;sb3</title>
<path fill="none" stroke="black" d="M243.669,-128.047C249.939,-119.66 257.945,-108.952 264.751,-99.8496"/>
<polygon fill="black" stroke="black" points="266.478,-101.046 268.389,-94.9831 263.114,-98.5311 266.478,-101.046"/>
<text text-anchor="middle" x="262.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
</g>
<!-- ab2 -->
<g id="node11" class="node"><title>ab2</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="207" cy="-79.7904" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="207" y="-76.0904" font-family="mono" font-size="14.00">aa</text>
</g>
<!-- sb2&#45;&gt;ab2 -->
<g id="edge8" class="edge"><title>sb2&#45;&gt;ab2</title>
<path fill="none" stroke="black" d="M226.706,-127.423C223.434,-119.679 219.38,-110.087 215.802,-101.62"/>
<polygon fill="black" stroke="black" points="217.686,-100.684 213.417,-95.9746 213.818,-102.319 217.686,-100.684"/>
<text text-anchor="middle" x="225.5" y="-109.654" font-family="sans" font-size="8.00"> 2</text>
</g>
<!-- eb -->
<g id="node12" class="node"><title>eb</title>
<ellipse fill="none" stroke="black" stroke-width="0" cx="279" cy="-16.2635" rx="27" ry="16.0303"/>
<text text-anchor="middle" x="279" y="-12.5635" font-family="mono" font-size="14.00">[]</text>
</g>
<!-- sb3&#45;&gt;eb -->
<g id="edge10" class="edge"><title>sb3&#45;&gt;eb</title>
<path fill="none" stroke="black" d="M279,-63.2645C279,-55.9222 279,-47.0305 279,-39.0293"/>
<polygon fill="black" stroke="black" points="281.1,-38.5712 279,-32.5712 276.9,-38.5712 281.1,-38.5712"/>
<text text-anchor="middle" x="282.5" y="-46.1269" font-family="sans" font-size="8.00"> 1</text>
</g>
</g>
</svg>