Mercurial > hg > Members > kono > Proof > automaton

view a04/fig/concat.svg @ 331:9324852d3a17

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 07 Dec 2022 14:51:25 +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="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" xmlns:dc="http://purl.org/dc/elements/1.1/" version="1.1" viewBox="95 115 682 604" width="682" height="604">
  <defs/>
  <g id="Canvas_1" stroke-dasharray="none" stroke-opacity="1" stroke="none" fill="none" fill-opacity="1">
    <title>Canvas 1</title>
    <rect fill="white" x="95" y="115" width="682" height="604"/>
    <g id="Canvas_1_Layer_1">
      <title>Layer 1</title>
      <g id="Graphic_3">
        <rect x="97" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="97" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(102 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">a</tspan>
        </text>
      </g>
      <g id="Graphic_4">
        <rect x="157" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="157" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(162 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
        </text>
      </g>
      <g id="Graphic_5">
        <rect x="217" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="217" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(222 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">c</tspan>
        </text>
      </g>
      <g id="Graphic_6">
        <rect x="277" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="277" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(282 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_7">
        <rect x="337" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="337" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(342 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
        </text>
      </g>
      <g id="Graphic_8">
        <rect x="397" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="397" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(402 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_9">
        <rect x="457" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="457" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(462 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_10">
        <rect x="517" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="517" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(522 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">b</tspan>
        </text>
      </g>
      <g id="Graphic_11">
        <rect x="577" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="577" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(582 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.704" y="15">c</tspan>
        </text>
      </g>
      <g id="Graphic_12">
        <rect x="637" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="637" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(642 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="12.256" y="15">d</tspan>
        </text>
      </g>
      <g id="Graphic_13">
        <rect x="697" y="200.8562" width="44" height="40" fill="white"/>
        <rect x="697" y="200.8562" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(702 211.6322)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_14"/>
      <g id="Line_18">
        <line x1="97" y1="495.1482" x2="321" y2="495.1482" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_19">
        <line x1="343" y1="495.1482" x2="747" y2="495.1482" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_20">
        <text transform="translate(105.12 297.9602)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">ae</tspan>
        </text>
      </g>
      <g id="Graphic_21">
        <text transform="translate(233.28 297.9602)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b1</tspan>
        </text>
      </g>
      <g id="Graphic_22">
        <text transform="translate(350.384 283.5122)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_23">
        <text transform="translate(711.34 297.9602)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
        </text>
      </g>
      <g id="Line_25">
        <line x1="97" y1="278.5122" x2="147" y2="278.5122" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_24">
        <line x1="163" y1="278.5122" x2="747" y2="278.5122" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_31">
        <text transform="translate(114.572 402.2102)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0  ae</tspan>
        </text>
      </g>
      <g id="Graphic_30">
        <text transform="translate(231.588 402.2102)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
        </text>
      </g>
      <g id="Graphic_29">
        <text transform="translate(350.384 384.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_28">
        <text transform="translate(711.34 403.5852)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
        </text>
      </g>
      <g id="Line_27">
        <path d="M 97 379.4082 L 211.46 379.4082 L 193.06 379.4082" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_26">
        <line x1="226.588" y1="379.4082" x2="747" y2="379.4082" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_32">
        <text transform="translate(168 297.9602)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
        </text>
      </g>
      <g id="Graphic_37">
        <text transform="translate(666 610.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
        </text>
      </g>
      <g id="Graphic_36">
        <text transform="translate(352.896 606.4602)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_35">
        <text transform="translate(721.816 610.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
        </text>
      </g>
      <g id="Line_34">
        <line x1="666.916" y1="601.4602" x2="762.976" y2="601.4602" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_33">
        <line x1="97" y1="601.4602" x2="641.056" y2="601.4602" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_39">
        <text transform="translate(610.2 610.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">ae</tspan>
        </text>
      </g>
      <g id="Graphic_40">
        <text transform="translate(499.923 681.6162)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="26" fill="black" x="0" y="25">success at one of them</tspan>
        </text>
      </g>
      <g id="Graphic_42">
        <text transform="translate(108 610.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0   a1</tspan>
        </text>
      </g>
      <g id="Graphic_56">
        <text transform="translate(108.888 510.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="29842795e-20" y="30">a0   a1   a2   ae</tspan>
        </text>
      </g>
      <g id="Graphic_55"/>
      <g id="Graphic_54">
        <text transform="translate(423 491.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_53">
        <text transform="translate(711.34 510.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">be</tspan>
        </text>
      </g>
      <g id="Graphic_57">
        <text transform="translate(350.384 509.2102)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="14210855e-21" y="30">b0</tspan>
        </text>
      </g>
      <g id="Line_59">
        <line x1="99.816" y1="261.5" x2="99.816" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_60">
        <line x1="147" y1="261.5" x2="147" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_61">
        <line x1="163" y1="261.5" x2="163" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_62">
        <line x1="747" y1="261.5" x2="747" y2="288" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_63">
        <line x1="99.816" y1="363.33617" x2="99.816" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_64">
        <line x1="96" y1="482.3982" x2="96" y2="508.8982" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_65">
        <line x1="96" y1="584.5" x2="96" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_66">
        <line x1="217" y1="363.33617" x2="218" y2="389.67797" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_67">
        <line x1="228.28" y1="363.33617" x2="228.28" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_68">
        <line x1="747" y1="363.33617" x2="747" y2="389.83617" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_69">
        <line x1="321" y1="478.9082" x2="321" y2="505.4082" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_70">
        <line x1="345.384" y1="482.3982" x2="345.384" y2="508.8982" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_71">
        <line x1="751.5" y1="477.7102" x2="751.5" y2="504.2102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_72">
        <line x1="762.976" y1="588.7102" x2="762.976" y2="615.2102" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_74">
        <line x1="643.768" y1="584.5" x2="643.768" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_75">
        <line x1="666.916" y1="584.5" x2="666.916" y2="611" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_76">
        <text transform="translate(214.16 120.3042)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">a0 a1 .. ae</tspan>
        </text>
      </g>
      <g id="Graphic_77">
        <text transform="translate(424.832 120.3042)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" fill="black" x="0" y="30">b0 b1 .. be</tspan>
        </text>
      </g>
    </g>
  </g>
</svg>