lectures.alex.balgavy.eu

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

bisimulation-contraction.dot.svg (1991B)

      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="96pt" height="116pt"
      8  viewBox="0.00 0.00 96.00 116.00" 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 112)">
     10 <title>g</title>
     11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-112 92,-112 92,4 -4,4"/>
     12 <!-- ac -->
     13 <g id="node1" class="node">
     14 <title>ac</title>
     15 <ellipse fill="none" stroke="black" cx="43" cy="-90" rx="27" ry="18"/>
     16 <text text-anchor="middle" x="43" y="-86.3" font-family="Times,serif" font-size="14.00">ac</text>
     17 </g>
     18 <!-- ac&#45;&gt;ac -->
     19 <g id="edge3" class="edge">
     20 <title>ac&#45;&gt;ac</title>
     21 <path fill="none" stroke="black" d="M62.9,-102.43C75.69,-105.68 88,-101.53 88,-90 88,-81.62 81.5,-77.14 73.04,-76.56"/>
     22 <polygon fill="black" stroke="black" points="72.5,-73.1 62.9,-77.57 73.19,-80.07 72.5,-73.1"/>
     23 </g>
     24 <!-- b -->
     25 <g id="node2" class="node">
     26 <title>b</title>
     27 <ellipse fill="none" stroke="black" cx="43" cy="-18" rx="27" ry="18"/>
     28 <text text-anchor="middle" x="43" y="-14.3" font-family="Times,serif" font-size="14.00">b</text>
     29 <text text-anchor="middle" x="8" y="-39.8" font-family="Times,serif" font-size="14.00">[p]</text>
     30 </g>
     31 <!-- ac&#45;&gt;b -->
     32 <g id="edge1" class="edge">
     33 <title>ac&#45;&gt;b</title>
     34 <path fill="none" stroke="black" d="M37.16,-72.41C36.3,-64.51 36.05,-54.85 36.41,-45.94"/>
     35 <polygon fill="black" stroke="black" points="39.9,-46.18 37.12,-35.96 32.92,-45.68 39.9,-46.18"/>
     36 </g>
     37 <!-- b&#45;&gt;ac -->
     38 <g id="edge2" class="edge">
     39 <title>b&#45;&gt;ac</title>
     40 <path fill="none" stroke="black" d="M48.88,-35.96C49.71,-43.83 49.95,-53.37 49.58,-62.19"/>
     41 <polygon fill="black" stroke="black" points="46.07,-62.18 48.84,-72.41 53.06,-62.69 46.07,-62.18"/>
     42 </g>
     43 </g>
     44 </svg>