diff options
Diffstat (limited to 'prolog/problems/dcg/syntax_tree.svg')
-rw-r--r-- | prolog/problems/dcg/syntax_tree.svg | 133 |
1 files changed, 133 insertions, 0 deletions
diff --git a/prolog/problems/dcg/syntax_tree.svg b/prolog/problems/dcg/syntax_tree.svg new file mode 100644 index 0000000..a1a8083 --- /dev/null +++ b/prolog/problems/dcg/syntax_tree.svg @@ -0,0 +1,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->sa2 --> +<g id="edge2" class="edge"><title>sa1->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->aa1 --> +<g id="edge1" class="edge"><title>sa1->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->sa3 --> +<g id="edge4" class="edge"><title>sa2->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->aa2 --> +<g id="edge3" class="edge"><title>sa2->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->ea --> +<g id="edge5" class="edge"><title>sa3->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->sb2 --> +<g id="edge6" class="edge"><title>sb1->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->ab1 --> +<g id="edge7" class="edge"><title>sb1->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->sb3 --> +<g id="edge9" class="edge"><title>sb2->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->ab2 --> +<g id="edge8" class="edge"><title>sb2->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->eb --> +<g id="edge10" class="edge"><title>sb3->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> |