This commit is contained in:
2025-03-13 12:01:03 +01:00
parent d39124f928
commit f53b5791dd
571 changed files with 12844 additions and 320 deletions

File diff suppressed because it is too large Load Diff

View File

@@ -65,12 +65,12 @@
<y>-61.0</y>
</state>
<state id="14" name="5mod9">
<x>950.0</x>
<y>119.0</y>
<x>995.0</x>
<y>97.0</y>
</state>
<state id="15" name="6mod9">
<x>1079.0</x>
<y>124.0</y>
<x>1113.0</x>
<y>112.0</y>
</state>
<state id="16" name="7mod9">
<x>1202.0</x>
@@ -91,23 +91,8 @@
</state>
<!--The list of transitions.-->
<transition>
<from>17</from>
<to>16</to>
<read>0</read>
</transition>
<transition>
<from>14</from>
<to>19</to>
<read>0</read>
</transition>
<transition>
<from>8</from>
<to>9</to>
<read>0</read>
</transition>
<transition>
<from>9</from>
<to>8</to>
<from>19</from>
<to>11</to>
<read>0</read>
</transition>
<transition>
@@ -117,54 +102,14 @@
</transition>
<transition>
<from>13</from>
<to>18</to>
<read>1</read>
<to>17</to>
<read>0</read>
</transition>
<transition>
<from>15</from>
<to>13</to>
<read>1</read>
</transition>
<transition>
<from>18</from>
<to>19</to>
<read>1</read>
</transition>
<transition>
<from>10</from>
<to>18</to>
<read>0</read>
</transition>
<transition>
<from>19</from>
<to>11</to>
<read>0</read>
</transition>
<transition>
<from>19</from>
<to>12</to>
<read>1</read>
</transition>
<transition>
<from>1</from>
<to>4</to>
<read>1</read>
</transition>
<transition>
<from>11</from>
<to>13</to>
<read>0</read>
</transition>
<transition>
<from>0</from>
<to>2</to>
<read>b</read>
</transition>
<transition>
<from>2</from>
<to>0</to>
<read>a</read>
</transition>
<transition>
<from>12</from>
<to>15</to>
@@ -176,30 +121,10 @@
<read>0</read>
</transition>
<transition>
<from>0</from>
<to>0</to>
<read>a</read>
</transition>
<transition>
<from>2</from>
<to>2</to>
<read>b</read>
</transition>
<transition>
<from>4</from>
<to>5</to>
<read>0</read>
</transition>
<transition>
<from>5</from>
<from>1</from>
<to>4</to>
<read>1</read>
</transition>
<transition>
<from>13</from>
<to>17</to>
<read>0</read>
</transition>
<transition>
<from>7</from>
<to>8</to>
@@ -211,19 +136,24 @@
<read>1</read>
</transition>
<transition>
<from>11</from>
<to>14</to>
<from>17</from>
<to>16</to>
<read>0</read>
</transition>
<transition>
<from>18</from>
<to>19</to>
<read>1</read>
</transition>
<transition>
<from>14</from>
<to>11</to>
<read>1</read>
<to>19</to>
<read>0</read>
</transition>
<transition>
<from>16</from>
<to>14</to>
<read>0</read>
<from>19</from>
<to>12</to>
<read>1</read>
</transition>
<transition>
<from>10</from>
@@ -240,6 +170,61 @@
<to>8</to>
<read>1</read>
</transition>
<transition>
<from>0</from>
<to>0</to>
<read>a</read>
</transition>
<transition>
<from>2</from>
<to>2</to>
<read>b</read>
</transition>
<transition>
<from>12</from>
<to>16</to>
<read>1</read>
</transition>
<transition>
<from>8</from>
<to>9</to>
<read>0</read>
</transition>
<transition>
<from>9</from>
<to>8</to>
<read>0</read>
</transition>
<transition>
<from>16</from>
<to>14</to>
<read>0</read>
</transition>
<transition>
<from>4</from>
<to>5</to>
<read>0</read>
</transition>
<transition>
<from>11</from>
<to>13</to>
<read>0</read>
</transition>
<transition>
<from>5</from>
<to>4</to>
<read>1</read>
</transition>
<transition>
<from>11</from>
<to>14</to>
<read>1</read>
</transition>
<transition>
<from>14</from>
<to>11</to>
<read>1</read>
</transition>
<transition>
<from>1</from>
<to>1</to>
@@ -277,20 +262,30 @@
<to>17</to>
<read>1</read>
</transition>
<transition>
<from>0</from>
<to>2</to>
<read>b</read>
</transition>
<transition>
<from>10</from>
<to>18</to>
<read>0</read>
</transition>
<transition>
<from>2</from>
<to>0</to>
<read>a</read>
</transition>
<transition>
<from>6</from>
<to>7</to>
<read>0</read>
</transition>
<transition>
<from>12</from>
<to>16</to>
<from>13</from>
<to>18</to>
<read>1</read>
</transition>
<note>
<text/>
<x>286.0</x>
<y>756.0</y>
</note>
</automaton>
</structure>