Mercurial > hg > Members > kono > Proof > automaton

view a04/fig/concat.svg @ 277:42563cc6afdf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
non-regular
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 25 Dec 2021 19:16:59 +0900
parents b3f05cd08d24
children 9324852d3a17
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 version="1.1" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" viewBox="96 65 681 696" width="681" height="696">
  <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>
    <font-face font-family="Helvetica Neue" font-size="32" 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>
    <font-face font-family="Helvetica Neue" font-size="26" 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>
  </defs>
  <metadata> Produced by OmniGraffle 7.18\n2020-12-09 05:54:46 +0000</metadata>
  <g id="Canvas_1" stroke="none" fill-opacity="1" fill="none" stroke-dasharray="none" stroke-opacity="1">
    <title>Canvas 1</title>
    <rect fill="white" x="96" y="65" width="681" height="696"/>
    <g id="Canvas_1_Layer_1">
      <title>Layer 1</title>
      <g id="Graphic_3">
        <rect x="103" y="110" width="44" height="40" fill="white"/>
        <rect x="103" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(108 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.704" y="15">a</tspan>
        </text>
      </g>
      <g id="Graphic_4">
        <rect x="163" y="110" width="44" height="40" fill="white"/>
        <rect x="163" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(168 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">b</tspan>
        </text>
      </g>
      <g id="Graphic_5">
        <rect x="223" y="110" width="44" height="40" fill="white"/>
        <rect x="223" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(228 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.704" y="15">c</tspan>
        </text>
      </g>
      <g id="Graphic_6">
        <rect x="283" y="110" width="44" height="40" fill="white"/>
        <rect x="283" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(288 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_7">
        <rect x="343" y="110" width="44" height="40" fill="white"/>
        <rect x="343" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(348 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">b</tspan>
        </text>
      </g>
      <g id="Graphic_8">
        <rect x="403" y="110" width="44" height="40" fill="white"/>
        <rect x="403" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(408 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_9">
        <rect x="463" y="110" width="44" height="40" fill="white"/>
        <rect x="463" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(468 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_10">
        <rect x="523" y="110" width="44" height="40" fill="white"/>
        <rect x="523" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(528 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">b</tspan>
        </text>
      </g>
      <g id="Graphic_11">
        <rect x="583" y="110" width="44" height="40" fill="white"/>
        <rect x="583" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(588 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.704" y="15">c</tspan>
        </text>
      </g>
      <g id="Graphic_12">
        <rect x="643" y="110" width="44" height="40" fill="white"/>
        <rect x="643" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(648 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="12.256" y="15">d</tspan>
        </text>
      </g>
      <g id="Graphic_13">
        <rect x="703" y="110" width="44" height="40" fill="white"/>
        <rect x="703" y="110" width="44" height="40" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(708 120.776)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="14.632" y="15">f</tspan>
        </text>
      </g>
      <g id="Graphic_14">
        <text transform="translate(197 211.5122)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="4.804" y="30">(a.*f)</tspan>
        </text>
      </g>
      <g id="Graphic_15">
        <text transform="translate(579 211.5122)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="3.908" y="30">(b.*f)</tspan>
        </text>
      </g>
      <g id="Line_16">
        <line x1="103" y1="180" x2="507" y2="180" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_17">
        <line x1="518" y1="180" x2="753" y2="180" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <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(104.816 297.9602)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">a0</tspan>
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x=".304" y="67.896">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" font-weight="400" 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" font-weight="400" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_23">
        <text transform="translate(721.816 297.9602)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" 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(109.82 402.2102)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">a0   a1</tspan>
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="44.48" y="67.896">  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" font-weight="400" 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" font-weight="400" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_28">
        <text transform="translate(729 402.2102)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" 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" font-weight="400" 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" font-weight="400" 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" font-weight="400" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_35">
        <text transform="translate(729 610.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" 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" font-weight="400" 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" font-weight="400" fill="black" x="0" y="25">success at one of them</tspan>
        </text>
      </g>
      <g id="Line_41">
        <line x1="334.5" y1="132.51221" x2="334.5" y2="760.3286" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_42">
        <text transform="translate(108 610.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">a0   a1</tspan>
        </text>
      </g>
      <g id="Graphic_56">
        <text transform="translate(108.584 510.4082)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="3836931e-19" y="30">a0   a1   a2   a3</tspan>
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="167.808" y="67.896">  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" font-weight="400" fill="black" x="0" y="30">…</tspan>
        </text>
      </g>
      <g id="Graphic_53">
        <text transform="translate(729 509.2102)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="0" y="30">be</tspan>
        </text>
      </g>
      <g id="Line_50">
        <path d="M 335.692 66 L 335.92247 95.50391 L 335.692 693.8164" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_57">
        <text transform="translate(350.384 509.2102)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="32" font-weight="400" fill="black" x="14210855e-21" y="30">b0</tspan>
        </text>
      </g>
    </g>
  </g>
</svg>