lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

5-3-counter-model.dot.svg (2150B)

      1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
      2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
      3  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
      4 <!-- Generated by graphviz version 2.50.0 (20211204.2007)
      5  -->
      6 <!-- Title: g Pages: 1 -->
      7 <svg width="152pt" height="100pt"
      8  viewBox="0.00 0.00 152.00 99.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
      9 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 95.5)">
     10 <title>g</title>
     11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-95.5 148,-95.5 148,4 -4,4"/>
     12 <!-- 1 -->
     13 <g id="node1" class="node">
     14 <title>1</title>
     15 <ellipse fill="none" stroke="black" cx="27" cy="-45" rx="27" ry="18"/>
     16 <text text-anchor="middle" x="27" y="-41.3" font-family="Times,serif" font-size="14.00">1</text>
     17 </g>
     18 <!-- 2 -->
     19 <g id="node2" class="node">
     20 <title>2</title>
     21 <path fill="none" stroke="black" d="M102,-55C102,-55 132,-55 132,-55 138,-55 144,-61 144,-67 144,-67 144,-79 144,-79 144,-85 138,-91 132,-91 132,-91 102,-91 102,-91 96,-91 90,-85 90,-79 90,-79 90,-67 90,-67 90,-61 96,-55 102,-55"/>
     22 <text text-anchor="middle" x="103.5" y="-69.3" font-family="Times,serif" font-size="14.00">2</text>
     23 <polyline fill="none" stroke="black" points="117,-55 117,-91 "/>
     24 <text text-anchor="middle" x="130.5" y="-69.3" font-family="Times,serif" font-size="14.00">p</text>
     25 </g>
     26 <!-- 1&#45;&gt;2 -->
     27 <g id="edge1" class="edge">
     28 <title>1&#45;&gt;2</title>
     29 <path fill="none" stroke="black" d="M51.58,-52.5C60.35,-55.29 70.5,-58.52 80.12,-61.58"/>
     30 <polygon fill="black" stroke="black" points="79.28,-64.99 89.87,-64.69 81.4,-58.32 79.28,-64.99"/>
     31 </g>
     32 <!-- 3 -->
     33 <g id="node3" class="node">
     34 <title>3</title>
     35 <ellipse fill="none" stroke="black" cx="117" cy="-18" rx="27" ry="18"/>
     36 <text text-anchor="middle" x="117" y="-14.3" font-family="Times,serif" font-size="14.00">3</text>
     37 </g>
     38 <!-- 1&#45;&gt;3 -->
     39 <g id="edge2" class="edge">
     40 <title>1&#45;&gt;3</title>
     41 <path fill="none" stroke="black" d="M52.05,-37.62C61.44,-34.74 72.36,-31.39 82.5,-28.28"/>
     42 <polygon fill="black" stroke="black" points="83.75,-31.55 92.29,-25.28 81.7,-24.86 83.75,-31.55"/>
     43 </g>
     44 </g>
     45 </svg>