docs/images/automaton_example_1.svg

﻿<?xml version="1.0" encoding="utf-8"?>
<!--SvgWriter version 0.0.0.0-->
<svg xmlns:xlink="http://www.w3.org/1999/xlink" width="165.0156" height="180.2187" id="svg2" version="1.1" xmlns="http://www.w3.org/2000/svg">
  <rect width="100%" height="100%" fill="white"/>
  <g transform="translate(665.0156192779541,150.10937309265137)">
    <!--Edges-->
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -569.2854 -4.0569 L -566.0332 -5.0547 C-555.0762 -8.4165 -544.6907 -14.5619 -534.8767 -23.4908" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-533.3834 -21.8523 -527.4859 -30.227 -536.3701 -25.1294" />
    <text x="-554.0078" y="4.9818" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-554.0078" dy="0">a</tspan>
    </text>
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -589.2203 -17.4474 C-589.2453 -18.819 -589.2578 -20.2714 -589.2578 -21.8047 C-589.2578 -36.3411 -587.0078 -43.6094 -582.5078 -43.6094 C-578.6335 -43.6094 -576.427 -38.2219 -575.8883 -27.447" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-578.1052 -27.4264 -575.7954 -17.4474 -573.6715 -27.4676" />
    <text x="-586.957" y="-46.6276" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-586.957" dy="0">b</tspan>
    </text>
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -588.8341 -17.7647 C-589.1166 -24.2633 -589.2578 -32.5448 -589.2578 -42.6094 C-589.2578 -71.0156 -587.0078 -85.2187 -582.5078 -85.2187 C-578.0078 -85.2187 -575.7578 -71.0156 -575.7578 -42.6094 C-575.7578 -37.1315 -575.7996 -32.1817 -575.8833 -27.7602" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-578.0993 -27.8263 -576.1815 -17.7647 -573.6674 -27.6941" />
    <text x="-586.5078" y="-88.237" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-586.5078" dy="0">c</tspan>
    </text>
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -530.1094 -37 L -534.8066 -37 C-544.3534 -37 -554.4413 -31.189 -565.0703 -19.567" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-566.7246 -21.043 -571.7278 -12.1053 -563.4161 -18.0911" />
    <text x="-553.4634" y="-38.6055" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-553.4634" dy="0">b</tspan>
    </text>
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -526.3233 -44.8613 L -534.8066 -55.5 C-544.6413 -67.8333 -555.0501 -61.6667 -566.0332 -37 L -570.9784 -25.8937" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-573.0036 -26.7955 -575.046 -16.7584 -568.9531 -24.992" />
    <text x="-553.1458" y="-65.1794" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-553.1458" dy="0">c</tspan>
    </text>
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -641.7971 -42.5439 L -630.209 -77.5 C-620.3743 -107.1667 -604.474 -122 -582.5078 -122 C-560.5417 -122 -544.6413 -107.8333 -534.8066 -79.5 L -526.6309 -55.9458" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-528.7252 -55.2189 -523.3517 -46.4987 -524.5365 -56.6728" />
    <text x="-586.957" y="-125.0182" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-586.957" dy="0">a</tspan>
    </text>
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -637.0168 -26.8366 L -630.209 -21.5547 C-622.2539 -15.3828 -613.9232 -10.6046 -605.2167 -7.2202" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-605.918 -5.1171 -595.7302 -4.0569 -604.5154 -9.3233" />
    <text x="-619.9062" y="4.9818" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-619.9062" dy="0">b</tspan>
    </text>
    <path fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" d="M -637.0311 -39.1818 L -630.209 -44.5 C-620.3743 -52.1667 -609.9655 -46.6667 -598.9824 -28 L -596.477 -23.7419" />
    <polygon stroke="#000000" stroke-opacity="1" stroke-width="1" fill="#000000" fill-opacity="1" points="-598.3878 -22.6176 -591.4059 -15.1231 -594.5663 -24.8661" />
    <text x="-620.232" y="-51.3039" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-620.232" dy="0">c</tspan>
    </text>
    <!--nodes-->
    <ellipse fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" cx="-582.5078" cy="0" rx="12.15" ry="18.0984" />
    <ellipse fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" cx="-582.5078" cy="0" rx="13.5" ry="20.1094" />
    <text x="-586.957" y="6.0365" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-586.957" dy="0">2</tspan>
    </text>
    <ellipse fill="none" stroke="#000000" stroke-opacity="1" stroke-width="1" cx="-520.0547" cy="-37" rx="10.0547" ry="10.0547" />
    <text x="-524.5039" y="-30.9635" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-524.5039" dy="0">1</tspan>
    </text>
    <ellipse fill="#add8e6" fill-opacity="1" stroke="#000000" stroke-opacity="1" stroke-width="1" cx="-644.9609" cy="-33" rx="10.0547" ry="10.0547" />
    <text x="-649.4102" y="-26.9635" font-family="Arial" font-size="16" fill="#000000">
      <tspan x="-649.4102" dy="0">0</tspan>
    </text>
    <!--end of nodes-->
  </g>
</svg>