fa 373.0 304.0 224.0 185.0 77.0 320.0 646.0 312.0 301.0 86.0 473.0 91.0 58.0 522.0 8 0 b 2 9 a 0 4 c 4 6 a 0 7 b 7 8 a 0 1 a 1 2 b
fa 373.0 304.0 224.0 185.0 77.0 320.0 249.0 430.0 538.0 229.0 0 0 0 0 1 1 1 0 0 0 0 0 2 0 2 0 1
fa
373.0
304.0
224.0
185.0
77.0
320.0
249.0
430.0
538.0
229.0
530.0
373.0
646.0
312.0
301.0
86.0
473.0
91.0
58.0
522.0
373.0
304.0
373.0
304.0
373.0
304.0
373.0
304.0
224.0
185.0
224.0
185.0
224.0
185.0
224.0
185.0
id=”18″ name=”q18″>
224.0
185.0
<x>224.0</x>
<y>185.0</y>
</state>
<!--The list of transitions.-->
<transition>
<from>0</from>
<to>1</to>
<read>0</read>
</transition>
<transition>
<from>1</from>
<to>2</to>
<read>3</read>
</transition>
<transition>
<from>1</from>
<to>3</to>
<read>2</read>
</transition>
<transition>
<from>2</from>
<to>4</to>
<read>9</read>
</transition>
<transition>
<from>3</from>
<to>5</to>
<read>9</read>
</transition>
<transition>
<from>4</from>
<to>6</to>
<read>4</read>
</transition>
<transition>
<from>5</from>
<to>6</to>
<read>4</read>
</transition>
<transition>
<from>6</from>
<to>7</to>
<read>5</read>
</transition>
<transition>
<from>7</from>
<to>8</to>
<read>5</read>
</transition>
<transition>
<from>7</from>
<to>9</to>
<read>2</read>
</transition>
<transition>
<from>9</from>
<to>10</to>
<read>8</read>
</transition>
<transition>
<from>8</from>
<to>10</to>
<read>2</read>
</transition>
<transition>
<from>8</from>
<to>10</to>
<read>5</read>
</transition>
<transition>
<from>10</from>
<to>11</to>
<read>0</read>
</transition>
<transition>
<from>11</from>
<to>12</to>
<read>(00-59)</read>
</transition>
<transition>
<from>12</from>
<to>13</to>
<read>#</read>
</transition>
<transition>
<from>13</from>
<to>14</to>
<read>(0+1+2+3+4)</read>
</transition>
<transition>
<from>14</from>
<to>15</to>
<read>(0+1+2+3+4)</read>
</transition>
<transition>
<from>15</from>
<to>16</to>
<read>(0+1+2+3+4)</read>
</transition>
<transition>
<from>16</from>
<to>17</to>
<read>(5+6+7+8+9)</read>
</transition>
<transition>
<from>17</from>
<to>18</to>
<read>(5+6+7+8+9)</read>
</transition>
<transition>
<from>18</from>
<to>19</to>
<read>(5+6+7+8+9)</read>
</transition>
</automaton>
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure>
<type>fa</type>
<automaton>
<!--The list of states.-->
<state id="0" name="q0">
<x>373.0</x>
<y>304.0</y>
<initial/>
<final/>
</state>
<state id="1" name="q1">
<x>224.0</x>
<y>185.0</y>
</state>
<state id="2" name="q2">
<x>77.0</x>
<y>320.0</y>
</state>
<state id="3" name="q3">
<x>249.0</x>
<y>430.0</y>
</state>
<state id="4" name="q4">
<x>538.0</x>
<y>229.0</y>
</state>
<state id="5" name="q5">
<x>530.0</x>
<y>373.0</y>
</state>
<state id="6" name="q6">
<x>646.0</x>
<y>312.0</y>
<final/>
</state>
<state id="7" name="q7">
<x>301.0</x>
<y>86.0</y>
</state>
<state id="8" name="q8">
<x>473.0</x>
<y>91.0</y>
</state>
<state id="9" name="q9">
<x>58.0</x>
<y>522.0</y>
<final/>
</state>
<state id="10" name="q10">
<x>373.0</x>
<y>304.0</y>
<initial/>
<final/>
</state>
<state id="11" name="q11">
<x>373.0</x>
<y>304.0</y>
<initial/>
<final/>
</state>
<state id="12" name="q12">
<x>373.0</x>
<y>304.0</y>
<initial/>
<final/>
</state>
<state id="13" name="q13">
<x>373.0</x>
<y>304.0</y>
<initial/>
<final/>
</state>
<!--The list of transitions.-->
<transition>
<from>0</from>
<to>1</to>
<read>0</read>
</transition>
<transition>
<from>1</from>
<to>2</to>
<read>3</read>
</transition>
<transition>
<from>1</from>
<to>3</to>
<read>2</read>
</transition>
<transition>
<from>2</from>
<to>4</to>
<read>9</read>
</transition>
<transition>
<from>3</from>
<to>5</to>
<read>9</read>
</transition>
<transition>
<from>4</from>
<to>6</to>
<read>4</read>
</transition>
<transition>
<from>5</from>
<to>6</to>
<read>4</read>
</transition>
<transition>
<from>6</from>
<to>7</to>
<read>5</read>
</transition>
<transition>
<from>7</from>
<to>8</to>
<read>5</read>
</transition>
<transition>
<from>7</from>
<to>9</to>
<read>2</read>
</transition>
<transition>
<from>9</from>
<to>10</to>
<read>8</read>
</transition>
<transition>
<from>8</from>
<to>10</to>
<read>2</read>
</transition>
<transition>
<from>8</from>
<to>10</to>
<read>5</read>
</transition>
<transition>
<from>10</from>
<to>11</to>
<read>0</read>
</transition>
<transition>
<from>11</from>
<to>12</to>
<read>(00-59)</read>
</transition>
<transition>
<from>12</from>
<to>13</to>
<read>#</read>
</transition>
</automaton>
</structure>
