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
|
<?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.41.20171026.1811 (20171026.1811)
-->
<!-- Title: shift.y Pages: 1 -->
<svg width="159pt" height="135pt"
viewBox="0.00 0.00 159.00 135.00" 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(4 131)">
<title>shift.y</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-131 155,-131 155,4 -4,4"/>
<!-- 3 -->
<g id="node1" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="151,-127 0,-127 0,-89 151,-89 151,-127"/>
<text text-anchor="middle" x="75.5" y="-111.8" font-family="Courier,monospace" font-size="14.00">State 3</text>
<text text-anchor="start" x="8" y="-96.8" font-family="Courier,monospace" font-size="14.00">  1 exp: a • "."</text>
</g>
<!-- 6 -->
<g id="node2" class="node">
<title>6</title>
<polygon fill="none" stroke="black" points="151,-38 0,-38 0,0 151,0 151,-38"/>
<text text-anchor="middle" x="75.5" y="-22.8" font-family="Courier,monospace" font-size="14.00">State 6</text>
<text text-anchor="start" x="8" y="-7.8" font-family="Courier,monospace" font-size="14.00">  1 exp: a "." •</text>
</g>
<!-- 3->6 -->
<g id="edge1" class="edge">
<title>3->6</title>
<path fill="none" stroke="black" d="M75.5,-88.97C75.5,-77.19 75.5,-61.56 75.5,-48.16"/>
<polygon fill="black" stroke="black" points="79,-48 75.5,-38 72,-48 79,-48"/>
<text text-anchor="middle" x="88.5" y="-59.8" font-family="Courier,monospace" font-size="14.00">"."</text>
</g>
</g>
</svg>
|
