phaul/mealy

<!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" style="background-color: rgb(255, 255, 255);" xmlns:xlink="http://www.w3.org/1999/xlink" width="448px" height="242px" version="1.1" content="&lt;mxfile userAgent=&quot;Mozilla/5.0 (X11; Linux x86_64; rv:62.0) Gecko/20100101 Firefox/62.0&quot; version=&quot;9.1.8&quot; editor=&quot;www.draw.io&quot; type=&quot;device&quot;&gt;&lt;diagram id=&quot;301001bc-1563-44d5-55f8-1d8c2522dfc5&quot; name=&quot;Page-1&quot;&gt;7ZpLc9owEIB/DUcYyw8Mx0DS9tJOZ3Jocuootmw0NYiRxSu/vmskGcsCAokDniQcGGn1Wu+uPq8EHW88XX/neD75yWKSdVwnXne8247rhoM+fBeCjRQEKJCClNNYitBOcE+fiRI6SrqgMcmNjoKxTNC5KYzYbEYiYcgw52xldktYZq46xymxBPcRzmzpHxqLiZQOAmcn/0FoOtErI0e1POHoX8rZYqbW67hesv3I5inWc6n++QTHbFUReXcdb8wZE7I0XY9JVphWm02O+3agtdSbk5k4ZYArByxxtlCP/kQSxsnfGDSQGoqNtgoMBQdAZbSaUEHu5zgqWlYQAiCbiGkGNQRFnM+lVxK6JrDSSK1CuCDrg5qi8vkhrAibEsE30EUNcAfKZCqkXG3yVcVBSjSp+EbLsAqJtJx5ZxYoKMvst5JvWcmyTbTgy+JRt89PZvFNEYVQjTKc5zQy7UPWVDxA2ekFqvZY1LYjQbWHchqo6Ba5IomtwK0ZELRiCx4Rw78C85SIisg2c8WMwR4zahknGRZ0aSqxz7Zqhd+MgnoHvegFNfdI5dWoauDWJvK82kRObSL5yNZE4Be8qXSbFx3ywwp7rrkOCpzjeg1r/QdGfyhIDXZxV/rgpFAcWqEI84/BD2O31xtaYQn7TZixx0lOn/HTtkMRV8oA0DsYdYLbYvdmNJ0VoQuBRTgIin1LAY43qmFK47gYP8rwE8lGJfLGLGN8u66G3pGdr9CtNNkRsRrQ/lEidGH7DMPQMHfXDd4Wp7oLS5KciJrrznVWaDkLJ2DS9sHVD64H10F74VolaWiTNDzZzJeBa92Lr4Zr4FwGrn4dli/ANei/L1x1+vk56Do4igSnh5A/NM3dIrQiO3O1kfoSKTQPHIMHJTdKVGiGbFsOsOL8RCy8Jiuunoi9xufeHp/3s2ILxnQJxbQo9rQMpquIP9jmRQfS+HL3evAxHNP12rR97SNVQnnesrQIoeulRchOHlsNOO3R1hw16857NeFQ/3KEs5PhD5yAoANvwCMMa1UKYp/FCexG3i6GWS9693IM09o2d7Y7AWjmuQ81CjTp8rYQzQ8bIprvnka0c893qH4g7Td7XtPhVImvm1+PH4ySL+zvrtNz3aFfe9W1CJPN357vv8Z5FwjsufX5YsCb7ngaZ0D/MzDg+E2400PlhYjOlIZvC7dawtUsEeyjzT6XnZ4MyM1evdBtmgPuFwfOPt1AdfdDtuy++7OAd/cf&lt;/diagram&gt;&lt;/mxfile&gt;"><defs/><g transform="translate(0.5,0.5)"><ellipse cx="210" cy="81" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(180.5,74.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="59" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 60px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">before_dot</div></div></foreignObject><text x="30" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">before_dot</text></switch></g><path d="M 210 41 Q 210 -9 245 6 Q 280 21 243.07 49.14" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 238.89 52.32 L 242.34 45.3 L 243.07 49.14 L 246.58 50.86 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(215.5,-0.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="40" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">0,1,2..9</div></div></foreignObject><text x="20" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">0,1,2..9</text></switch></g><ellipse cx="380" cy="81" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(355.5,74.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="48" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 49px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">after_dot</div></div></foreignObject><text x="24" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">after_dot</text></switch></g><path d="M 380 41 Q 380 -9 415 6 Q 450 21 413.07 49.14" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 408.89 52.32 L 412.34 45.3 L 413.07 49.14 L 416.58 50.86 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(406.5,3.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="40" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">0,1,2..9</div></div></foreignObject><text x="20" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">0,1,2..9</text></switch></g><path d="M 250 81 L 333.63 81" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 338.88 81 L 331.88 84.5 L 333.63 81 L 331.88 77.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(308.5,78.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="3" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;"><div>.</div></div></div></foreignObject><text x="2" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">[Not supported by viewer]</text></switch></g><ellipse cx="40" cy="81" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(30.5,74.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="19" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 20px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">first</div></div></foreignObject><text x="10" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">first</text></switch></g><path d="M 80 81 L 163.63 81" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 168.88 81 L 161.88 84.5 L 163.63 81 L 161.88 77.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(120.5,76.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="40" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">0,1,2..9</div></div></foreignObject><text x="20" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">0,1,2..9</text></switch></g><ellipse cx="210" cy="201" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="none"/><g transform="translate(196.5,194.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="26" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 27px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">error</div></div></foreignObject><text x="13" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">error</text></switch></g><path d="M 40 121 Q 40 201 163.63 201" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 168.88 201 L 161.88 204.5 L 163.63 201 L 161.88 197.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(28.5,160.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="25" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">ANY</div></div></foreignObject><text x="13" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">ANY</text></switch></g><path d="M 380 121 Q 380 201 256.37 201" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 251.12 201 L 258.12 197.5 L 256.37 201 L 258.12 204.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(329.5,185.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="25" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">ANY</div></div></foreignObject><text x="13" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">ANY</text></switch></g><path d="M 210 121 L 210 154.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 210 159.88 L 206.5 152.88 L 210 154.63 L 213.5 152.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(198.5,135.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="22" height="11" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 11px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;background-color:#ffffff;">ANY</div></div></foreignObject><text x="11" y="11" fill="#000000" text-anchor="middle" font-size="11px" font-family="Helvetica">ANY</text></switch></g></g></svg>