554 lines
9.1 KiB
XML
554 lines
9.1 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
|
<type>fa</type>
|
|
<automaton>
|
|
<!--The list of states.-->
|
|
<state id="0" name="1">
|
|
<x>67.0</x>
|
|
<y>48.0</y>
|
|
</state>
|
|
<state id="1" name="q1">
|
|
<x>223.0</x>
|
|
<y>46.0</y>
|
|
</state>
|
|
<state id="2" name="2">
|
|
<x>60.0</x>
|
|
<y>191.0</y>
|
|
</state>
|
|
<state id="3" name="q3">
|
|
<x>219.0</x>
|
|
<y>189.0</y>
|
|
</state>
|
|
<state id="4" name="q4">
|
|
<x>384.0</x>
|
|
<y>188.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="5" name="3">
|
|
<x>56.0</x>
|
|
<y>348.0</y>
|
|
</state>
|
|
<state id="6" name="q6">
|
|
<x>220.0</x>
|
|
<y>353.0</y>
|
|
</state>
|
|
<state id="7" name="q7">
|
|
<x>374.0</x>
|
|
<y>353.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="8" name="4">
|
|
<x>48.0</x>
|
|
<y>485.0</y>
|
|
</state>
|
|
<state id="9" name="q9">
|
|
<x>219.0</x>
|
|
<y>487.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="10" name="q10">
|
|
<x>391.0</x>
|
|
<y>46.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="11" name="5">
|
|
<x>32.0</x>
|
|
<y>601.0</y>
|
|
</state>
|
|
<state id="12" name="q12">
|
|
<x>185.0</x>
|
|
<y>696.0</y>
|
|
</state>
|
|
<state id="13" name="q13">
|
|
<x>186.0</x>
|
|
<y>835.0</y>
|
|
</state>
|
|
<state id="14" name="q14">
|
|
<x>333.0</x>
|
|
<y>598.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="15" name="6">
|
|
<x>483.0</x>
|
|
<y>775.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="16" name="8">
|
|
<x>589.0</x>
|
|
<y>349.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="17" name="q17">
|
|
<x>769.0</x>
|
|
<y>349.0</y>
|
|
</state>
|
|
<state id="18" name="q18">
|
|
<x>679.0</x>
|
|
<y>495.0</y>
|
|
</state>
|
|
<state id="19" name="7">
|
|
<x>572.0</x>
|
|
<y>92.0</y>
|
|
</state>
|
|
<state id="20" name="q20">
|
|
<x>704.0</x>
|
|
<y>14.0</y>
|
|
</state>
|
|
<state id="21" name="q21">
|
|
<x>829.0</x>
|
|
<y>93.0</y>
|
|
</state>
|
|
<state id="22" name="q22">
|
|
<x>827.0</x>
|
|
<y>211.0</y>
|
|
</state>
|
|
<state id="23" name="q23">
|
|
<x>703.0</x>
|
|
<y>266.0</y>
|
|
</state>
|
|
<state id="24" name="q24">
|
|
<x>569.0</x>
|
|
<y>228.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="25" name="9">
|
|
<x>596.0</x>
|
|
<y>598.0</y>
|
|
</state>
|
|
<state id="26" name="q26">
|
|
<x>801.0</x>
|
|
<y>597.0</y>
|
|
</state>
|
|
<state id="27" name="q27">
|
|
<x>699.0</x>
|
|
<y>744.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="28" name="q28">
|
|
<x>698.0</x>
|
|
<y>597.0</y>
|
|
</state>
|
|
<state id="29" name="10">
|
|
<x>1083.0</x>
|
|
<y>190.0</y>
|
|
<initial/>
|
|
</state>
|
|
<state id="30" name="q30">
|
|
<x>1246.0</x>
|
|
<y>59.0</y>
|
|
</state>
|
|
<state id="31" name="q31">
|
|
<x>1254.0</x>
|
|
<y>196.0</y>
|
|
</state>
|
|
<state id="32" name="q32">
|
|
<x>1251.0</x>
|
|
<y>334.0</y>
|
|
</state>
|
|
<state id="33" name="q33">
|
|
<x>1485.0</x>
|
|
<y>57.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="34" name="q34">
|
|
<x>1481.0</x>
|
|
<y>196.0</y>
|
|
<final/>
|
|
</state>
|
|
<state id="35" name="q35">
|
|
<x>1479.0</x>
|
|
<y>338.0</y>
|
|
<final/>
|
|
</state>
|
|
<!--The list of transitions.-->
|
|
<transition>
|
|
<from>21</from>
|
|
<to>19</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>8</from>
|
|
<to>9</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>17</from>
|
|
<to>18</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>29</from>
|
|
<to>31</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>17</from>
|
|
<to>18</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>17</from>
|
|
<to>18</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>35</from>
|
|
<to>32</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>32</from>
|
|
<to>35</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>35</from>
|
|
<to>32</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>3</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>31</from>
|
|
<to>34</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>34</from>
|
|
<to>31</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>34</from>
|
|
<to>31</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>5</from>
|
|
<to>6</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>6</from>
|
|
<to>5</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>1</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>29</from>
|
|
<to>32</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>0</from>
|
|
<to>1</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>20</from>
|
|
<to>21</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>18</from>
|
|
<to>16</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>18</from>
|
|
<to>16</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>18</from>
|
|
<to>16</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>33</from>
|
|
<to>30</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>33</from>
|
|
<to>30</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>30</from>
|
|
<to>33</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>21</from>
|
|
<to>22</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>6</from>
|
|
<to>7</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>27</from>
|
|
<to>28</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>3</from>
|
|
<to>4</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>20</from>
|
|
<to>19</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>20</from>
|
|
<to>19</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>19</from>
|
|
<to>20</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>14</from>
|
|
<to>12</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>28</from>
|
|
<to>26</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>11</from>
|
|
<to>12</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>22</from>
|
|
<to>19</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>16</from>
|
|
<to>17</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>16</from>
|
|
<to>17</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>29</from>
|
|
<to>30</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>16</from>
|
|
<to>17</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>22</from>
|
|
<to>19</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>1</from>
|
|
<to>10</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>12</from>
|
|
<to>13</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>22</from>
|
|
<to>23</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>25</from>
|
|
<to>28</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>1</from>
|
|
<to>10</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>9</from>
|
|
<to>9</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>7</from>
|
|
<to>7</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>11</from>
|
|
<to>11</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>24</from>
|
|
<to>24</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>21</from>
|
|
<to>21</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>31</from>
|
|
<to>31</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>32</from>
|
|
<to>32</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>33</from>
|
|
<to>33</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>3</from>
|
|
<to>3</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>4</from>
|
|
<to>4</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>9</from>
|
|
<to>9</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>12</from>
|
|
<to>12</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>7</from>
|
|
<to>7</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>34</from>
|
|
<to>34</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>2</from>
|
|
<to>2</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>5</from>
|
|
<to>5</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>19</from>
|
|
<to>19</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>32</from>
|
|
<to>32</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>24</from>
|
|
<to>24</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>30</from>
|
|
<to>30</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>19</from>
|
|
<to>19</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>24</from>
|
|
<to>24</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>30</from>
|
|
<to>30</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>31</from>
|
|
<to>31</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>35</from>
|
|
<to>35</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>23</from>
|
|
<to>19</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>23</from>
|
|
<to>19</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>13</from>
|
|
<to>11</to>
|
|
<read>a</read>
|
|
</transition>
|
|
<transition>
|
|
<from>23</from>
|
|
<to>24</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>13</from>
|
|
<to>14</to>
|
|
<read>b</read>
|
|
</transition>
|
|
<transition>
|
|
<from>26</from>
|
|
<to>27</to>
|
|
<read>c</read>
|
|
</transition>
|
|
<transition>
|
|
<from>14</from>
|
|
<to>11</to>
|
|
<read>a</read>
|
|
</transition>
|
|
</automaton>
|
|
</structure> |