Mercurial > hg > Members > kono > Proof > automaton

view exercise/fig/nfa02.svg @ 198:4b452c9d7e7b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcd done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 17 Jun 2021 17:16:36 +0900
parents b3f05cd08d24
children
line wrap: on
line source

<?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">
<svg xmlns:dc="http://purl.org/dc/elements/1.1/" version="1.1" xmlns:xl="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" viewBox="215 77 732 557" width="732" height="557">
  <defs>
    <font-face font-family="Helvetica Neue" font-size="16" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400">
      <font-face-src>
        <font-face-name name="HelveticaNeue"/>
      </font-face-src>
    </font-face>
    <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black">
      <g>
        <path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
      </g>
    </marker>
  </defs>
  <metadata> Produced by OmniGraffle 7.9.1 
    <dc:date>2019-01-23 03:48:38 +0000</dc:date>
  </metadata>
  <g id="Canvas_1" stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1">
    <title>Canvas 1</title>
    <g id="Canvas_1: Layer 1">
      <title>Layer 1</title>
      <g id="Graphic_4">
        <circle cx="226" cy="280.5" r="10.000015979019" fill="black"/>
        <circle cx="226" cy="280.5" r="10.000015979019" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_5">
        <circle cx="430.25" cy="236.75" r="53.7500858872269" fill="white"/>
        <circle cx="430.25" cy="236.75" r="53.7500858872269" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(392.25 227.526)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="29.552" y="15">s0</tspan>
        </text>
      </g>
      <g id="Group_39">
        <g id="Graphic_6">
          <circle cx="892.75" cy="242.92924" r="53.7500858872269" fill="white"/>
          <circle cx="892.75" cy="242.92924" r="53.7500858872269" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        </g>
        <g id="Graphic_7">
          <circle cx="892.75" cy="242.92924" r="49.2500786966683" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
          <text transform="translate(858.35 233.70524)" fill="black">
            <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="25.952" y="15">s4</tspan>
          </text>
        </g>
      </g>
      <g id="Graphic_9">
        <circle cx="430.25" cy="431.75" r="53.7500858872269" fill="white"/>
        <circle cx="430.25" cy="431.75" r="53.7500858872269" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(392.25 422.526)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="29.552" y="15">s1</tspan>
        </text>
      </g>
      <g id="Line_10">
        <line x1="235.60428" y1="277.70806" x2="366.9935" y2="239.5135" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_11">
        <line x1="234.26618" y1="286.13084" x2="384.061" y2="388.16953" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_13">
        <path d="M 468.25695 469.75695 C 468.25695 469.75695 551.0758 492.0032 535.8672 534.207 C 520.6586 576.4109 479.06816 612.2216 414.5742 618.72656 C 350.08028 625.2315 314.54528 599.3718 308.21875 557.168 C 303.11057 523.09167 361.02927 487.0574 383.52647 474.44233" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_17">
        <path d="M 392.24305 198.74305 C 392.24305 198.74305 342.92384 175.24084 351 145 C 359.07616 114.75916 377.68764 92.84992 420.75 92 C 463.81236 91.15008 489.54104 111.75916 503 142 C 512.834 164.0959 489.749 184.19585 476.6004 193.42025" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_18">
        <line x1="430.25" y1="290.50003" x2="430.25" y2="368.09997" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_19">
        <line x1="484" y1="236.75" x2="580.6166" y2="242.3558" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_21">
        <rect x="301.71014" y="240.7296" width="19" height="30" fill="white"/>
        <text transform="translate(306.71014 246.5056)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">0</tspan>
        </text>
      </g>
      <g id="Graphic_22">
        <rect x="306.02023" y="326.48026" width="19" height="30" fill="white"/>
        <text transform="translate(311.02023 332.25626)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">1</tspan>
        </text>
      </g>
      <g id="Graphic_23">
        <rect x="423.6427" y="77.37604" width="19" height="30" fill="white"/>
        <text transform="translate(428.6427 83.15204)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">1</tspan>
        </text>
      </g>
      <g id="Graphic_24">
        <rect x="408.7233" y="603.3245" width="19" height="30" fill="white"/>
        <text transform="translate(413.7233 609.1005)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">0</tspan>
        </text>
      </g>
      <g id="Graphic_25">
        <rect x="514.0533" y="224.04492" width="19" height="30" fill="white"/>
        <text transform="translate(519.0533 229.82092)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">0</tspan>
        </text>
      </g>
      <g id="Graphic_27">
        <rect x="420.75" y="317.17157" width="19" height="30" fill="white"/>
        <text transform="translate(425.75 322.94757)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">1</tspan>
        </text>
      </g>
      <g id="Graphic_28">
        <circle cx="644.25" cy="242.92924" r="53.7500858872269" fill="white"/>
        <circle cx="644.25" cy="242.92924" r="53.7500858872269" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(606.25 233.70524)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="29.552" y="15">s2</tspan>
        </text>
      </g>
      <g id="Graphic_29">
        <circle cx="654.25" cy="436.75" r="53.7500858872269" fill="white"/>
        <circle cx="654.25" cy="436.75" r="53.7500858872269" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(616.25 427.526)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="29.552" y="15">s3</tspan>
        </text>
      </g>
      <g id="Line_30">
        <line x1="484" y1="431.75" x2="590.6091" y2="436.3255" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_31">
        <rect x="522.8177" y="418.8237" width="19" height="30" fill="white"/>
        <text transform="translate(527.8177 424.5997)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">1</tspan>
        </text>
      </g>
      <g id="Line_33">
        <line x1="698" y1="242.92924" x2="833.6" y2="242.92924" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_34">
        <line x1="692.25695" y1="398.74305" x2="851.5637" y2="285.17644" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_35">
        <rect x="728.1203" y="227.92924" width="19" height="30" fill="white"/>
        <text transform="translate(733.1203 233.70524)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">1</tspan>
        </text>
      </g>
      <g id="Graphic_36">
        <rect x="766.7511" y="323.8653" width="19" height="30" fill="white"/>
        <text transform="translate(771.7511 329.6413)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">0</tspan>
        </text>
      </g>
      <g id="Line_37">
        <line x1="654.25" y1="382.99997" x2="645.3893" y2="306.5135" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_38">
        <rect x="640.4211" y="330.63285" width="19" height="30" fill="white"/>
        <text transform="translate(645.4211 336.40885)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x=".052" y="15">0</tspan>
        </text>
      </g>
    </g>
  </g>
</svg>