Mercurial > hg > Members > kono > Proof > automaton
view exercise/fig/nfa01.svg @ 141:b3f05cd08d24
clean up
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 27 Dec 2020 13:26:44 +0900 |
parents | |
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 767 557" width="767" 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> <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="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:51:06 +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="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="Line_33"> <line x1="698" y1="242.92924" x2="879.9298" y2="322.5126" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/> </g> <g id="Graphic_35"> <rect x="740.5101" y="250.68053" width="19" height="30" fill="white"/> <text transform="translate(745.5101 256.45653)" 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="Group_39"> <g id="Graphic_41"> <circle cx="927.75" cy="354.25" r="53.7500858872269" fill="white"/> <circle cx="927.75" cy="354.25" r="53.7500858872269" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/> </g> <g id="Graphic_40"> <circle cx="927.75" cy="354.25" r="49.2500786966684" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/> <text transform="translate(893.35 345.026)" fill="black"> <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="25.952" y="15">s3</tspan> </text> </g> </g> <g id="Line_42"> <line x1="484" y1="431.75" x2="869.4779" y2="364.4271" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/> </g> <g id="Graphic_43"> <rect x="645.3432" y="386.9126" width="19" height="30" fill="white"/> <text transform="translate(650.3432 392.6886)" 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>