Mercurial > hg > Members > kono > Proof > automaton

view a06/fig/derivation.svg @ 141:b3f05cd08d24

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clean up
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 27 Dec 2020 13:26:44 +0900
parents
children 6f3636fbc481
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/" xmlns:xl="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" version="1.1" viewBox="45 155 400 395" width="400" height="395">
  <defs>
    <font-face font-family="Helvetica Neue" font-size="14" 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>
    <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="#7f8080">
      <g>
        <path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
      </g>
    </marker>
    <font-face font-family="Hiragino Sans" font-size="14" panose-1="2 11 3 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-75" underline-thickness="50" slope="0" x-height="545" cap-height="766" ascent="880.0018" descent="-120.00024" font-weight="300">
      <font-face-src>
        <font-face-name name="HiraginoSans-W3"/>
      </font-face-src>
    </font-face>
  </defs>
  <metadata> Produced by OmniGraffle 7.18\n2020-12-23 01:04:40 +0000</metadata>
  <g id="Canvas_1" stroke-opacity="1" fill-opacity="1" stroke-dasharray="none" fill="none" stroke="none">
    <title>Canvas 1</title>
    <rect fill="white" x="45" y="155" width="400" height="395"/>
    <g id="Canvas_1_Layer_1">
      <title>Layer 1</title>
      <g id="Graphic_2">
        <circle cx="97.23" cy="335" r="42.0000671118797" fill="white"/>
        <circle cx="97.23" cy="335" r="42.0000671118797" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(68.63 326.804)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="14" font-weight="400" fill="black" x="5.9060004" y="13">1*(01*)*</tspan>
        </text>
      </g>
      <g id="Graphic_3"/>
      <g id="Graphic_4">
        <circle cx="202" cy="270" r="42.0000671118797" fill="white"/>
        <circle cx="202" cy="270" r="42.0000671118797" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(173.4 261.804)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="14" font-weight="400" fill="black" x="19.661" y="13">fail</tspan>
        </text>
      </g>
      <g id="Line_6">
        <path d="M 140.16462 332.6221 C 156.7499 331.79873 177.4449 330.86532 201 330 C 223.2652 329.18207 244.30733 328.56378 262.10935 328.10756" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_8">
        <path d="M 71.71827 367.1007 C 57.957636 386.39034 44.12476 410.0216 46 425 C 49.617805 453.8971 95.48628 462.49745 110 437 C 116.43869 425.6886 114.6514 404.33916 110.66952 384.0841" marker-end="url(#FilledArrow_Marker_2)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_10">
        <circle cx="315" cy="327" r="42.0000671118797" fill="white"/>
        <circle cx="315" cy="327" r="42.0000671118797" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(286.4 318.804)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="14" font-weight="400" fill="black" x="8.37" y="13">1(01*)*</tspan>
        </text>
      </g>
      <g id="Graphic_11">
        <circle cx="315" cy="464" r="42.0000671118797" fill="white"/>
        <circle cx="315" cy="464" r="42.0000671118797" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(286.4 455.804)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="14" font-weight="400" fill="black" x="12.262" y="13">(01*)*</tspan>
        </text>
      </g>
      <g id="Graphic_14">
        <text transform="translate(199.115 343)" fill="black">
          <tspan font-family="Hiragino Sans" font-size="14" font-weight="300" fill="black" x="0" y="12">０</tspan>
        </text>
      </g>
      <g id="Graphic_15">
        <text transform="translate(125.032 415)" fill="black">
          <tspan font-family="Hiragino Sans" font-size="14" font-weight="300" fill="black" x="15987212e-20" y="12">1</tspan>
        </text>
      </g>
      <g id="Line_17">
        <path d="M 313.34975 284.03147 C 310.39053 267.1332 303.81176 250.0872 289.76172 243 C 277.82438 236.97852 262.58688 239.20184 248.17018 244.3585" marker-end="url(#FilledArrow_Marker_2)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_18">
        <text transform="translate(289 217)" fill="black">
          <tspan font-family="Hiragino Sans" font-size="14" font-weight="300" fill="black" x="0" y="12">０</tspan>
        </text>
      </g>
      <g id="Line_20">
        <path d="M 342.2887 360.23536 C 350.32035 373.1295 357 388.50595 357 403.98438 C 357 412.40937 355.02103 420.0046 351.92224 426.73335" marker-end="url(#FilledArrow_Marker_2)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_21">
        <text transform="translate(359 385)" fill="black">
          <tspan font-family="Hiragino Sans" font-size="14" font-weight="300" fill="black" x="15987212e-20" y="12">1</tspan>
        </text>
      </g>
      <g id="Line_25">
        <path d="M 283.14303 435.11733 C 277.29744 426.3152 273 415.62227 273 403.20703 C 273 391.1954 277.02256 379.31966 282.5779 368.6461" marker-end="url(#FilledArrow_Marker_2)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_26">
        <text transform="translate(283 393)" fill="black">
          <tspan font-family="Hiragino Sans" font-size="14" font-weight="300" fill="black" x="0" y="12">０</tspan>
        </text>
      </g>
      <g id="Graphic_27">
        <circle cx="315" cy="464" r="36.0000575244682" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_28">
        <path d="M 71 180 C 71 180 44.37091 209.59163 51.802 253.5039 C 54.281893 268.15825 60.165845 282.1078 66.90568 294.19095" marker-end="url(#FilledArrow_Marker_2)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_29">
        <path d="M 349.981 451.9189 C 368.66078 443.5726 391.3686 430.24855 409 410 C 445.26304 368.35415 440.7535 368.525 443 317 C 445.2465 265.475 444.41027 269.49144 416.9297 228.1289 C 389.4491 186.76638 390.17566 189.73465 346 171 C 301.82434 152.26535 300.7479 152.89772 261 162 C 221.25209 171.10228 222.41421 172.53197 205.69922 203.1289 C 203.1308 207.83042 201.26436 212.666 199.94481 217.4834" marker-end="url(#FilledArrow_Marker_2)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_30">
        <text transform="translate(430.198 399)" fill="black">
          <tspan font-family="Hiragino Sans" font-size="14" font-weight="300" fill="black" x="15987212e-20" y="12">1</tspan>
        </text>
      </g>
      <g id="Graphic_31">
        <text transform="translate(162.666 528)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="14" font-weight="400" fill="black" x="1.946" y="13">derivating method </tspan>
        </text>
      </g>
    </g>
  </g>
</svg>