more projects
@@ -0,0 +1,65 @@
|
||||
<?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="q0">
|
||||
<x>71.0</x>
|
||||
<y>83.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>174.0</x>
|
||||
<y>85.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>267.0</x>
|
||||
<y>85.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>174.0</x>
|
||||
<y>195.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
|
After Width: | Height: | Size: 42 KiB |
@@ -0,0 +1,78 @@
|
||||
<?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="q0">
|
||||
<x>48.0</x>
|
||||
<y>75.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>150.0</x>
|
||||
<y>75.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>287.0</x>
|
||||
<y>77.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>397.0</x>
|
||||
<y>76.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>493.0</x>
|
||||
<y>73.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>2</to>
|
||||
<controlx>406</controlx>
|
||||
<controly>-32</controly>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>1</to>
|
||||
<controlx>297</controlx>
|
||||
<controly>163</controly>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
|
After Width: | Height: | Size: 43 KiB |
@@ -0,0 +1,79 @@
|
||||
<?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="q0">
|
||||
<x>132.0</x>
|
||||
<y>134.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>214.0</x>
|
||||
<y>84.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>357.0</x>
|
||||
<y>84.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>392.0</x>
|
||||
<y>286.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>304.0</x>
|
||||
<y>175.0</y>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>4</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>4</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>4</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
|
After Width: | Height: | Size: 60 KiB |
@@ -0,0 +1,109 @@
|
||||
<?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="q0">
|
||||
<x>91.0</x>
|
||||
<y>214.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>206.0</x>
|
||||
<y>219.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>317.0</x>
|
||||
<y>223.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>419.0</x>
|
||||
<y>210.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>514.0</x>
|
||||
<y>213.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>659.0</x>
|
||||
<y>213.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="6" name="q6">
|
||||
<x>279.0</x>
|
||||
<y>418.0</y>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>6</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>6</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>6</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>6</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>6</from>
|
||||
<to>6</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>6</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>3</to>
|
||||
<controlx>553</controlx>
|
||||
<controly>274</controly>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>6</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
|
After Width: | Height: | Size: 124 KiB |
@@ -0,0 +1,37 @@
|
||||
<?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="q0">
|
||||
<x>53.0</x>
|
||||
<y>221.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>145.0</x>
|
||||
<y>223.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
|
After Width: | Height: | Size: 19 KiB |
|
After Width: | Height: | Size: 27 KiB |
|
After Width: | Height: | Size: 31 KiB |
|
After Width: | Height: | Size: 32 KiB |
@@ -0,0 +1,54 @@
|
||||
<?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="q0">
|
||||
<x>67.0</x>
|
||||
<y>139.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>157.0</x>
|
||||
<y>140.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>244.0</x>
|
||||
<y>140.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>326.0</x>
|
||||
<y>140.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>436.0</x>
|
||||
<y>141.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
@@ -0,0 +1,52 @@
|
||||
<?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="q0">
|
||||
<x>61.0</x>
|
||||
<y>90.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>148.0</x>
|
||||
<y>88.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>262.0</x>
|
||||
<y>88.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>355.0</x>
|
||||
<y>87.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>0</to>
|
||||
<controlx>140</controlx>
|
||||
<controly>208</controly>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
@@ -0,0 +1,78 @@
|
||||
<?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="q0">
|
||||
<x>92.0</x>
|
||||
<y>151.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>179.0</x>
|
||||
<y>156.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>246.0</x>
|
||||
<y>157.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>301.0</x>
|
||||
<y>144.0</y>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>363.0</x>
|
||||
<y>144.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>459.0</x>
|
||||
<y>151.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>5</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>4</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
|
After Width: | Height: | Size: 52 KiB |
|
After Width: | Height: | Size: 38 KiB |
|
After Width: | Height: | Size: 32 KiB |
|
After Width: | Height: | Size: 41 KiB |
|
After Width: | Height: | Size: 45 KiB |
@@ -0,0 +1,55 @@
|
||||
<?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="q0">
|
||||
<x>67.0</x>
|
||||
<y>125.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>174.0</x>
|
||||
<y>51.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>175.0</x>
|
||||
<y>205.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>288.0</x>
|
||||
<y>127.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
@@ -0,0 +1,57 @@
|
||||
<?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="q0">
|
||||
<x>67.0</x>
|
||||
<y>125.0</y>
|
||||
<initial/>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>174.0</x>
|
||||
<y>51.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>175.0</x>
|
||||
<y>205.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>288.0</x>
|
||||
<y>127.0</y>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>3</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>2</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>3</from>
|
||||
<to>0</to>
|
||||
<read>1</read>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
|
After Width: | Height: | Size: 34 KiB |
|
After Width: | Height: | Size: 118 KiB |
@@ -0,0 +1,56 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>pda</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>97.0</x>
|
||||
<y>199.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>235.0</x>
|
||||
<y>196.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>394.0</x>
|
||||
<y>206.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
<pop/>
|
||||
<push>0</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>0</read>
|
||||
<pop>0</pop>
|
||||
<push>0</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
<pop>0</pop>
|
||||
<push/>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read/>
|
||||
<pop>0</pop>
|
||||
<push>Z</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>1</read>
|
||||
<pop>0</pop>
|
||||
<push>0</push>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||
@@ -0,0 +1,155 @@
|
||||
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
|
||||
<type>pda</type>
|
||||
<automaton>
|
||||
<!--The list of states.-->
|
||||
<state id="0" name="q0">
|
||||
<x>66.0</x>
|
||||
<y>278.0</y>
|
||||
<initial/>
|
||||
</state>
|
||||
<state id="1" name="q1">
|
||||
<x>283.0</x>
|
||||
<y>535.0</y>
|
||||
</state>
|
||||
<state id="2" name="q2">
|
||||
<x>390.0</x>
|
||||
<y>537.0</y>
|
||||
</state>
|
||||
<state id="3" name="q3">
|
||||
<x>490.0</x>
|
||||
<y>540.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="4" name="q4">
|
||||
<x>262.0</x>
|
||||
<y>428.0</y>
|
||||
</state>
|
||||
<state id="5" name="q5">
|
||||
<x>174.0</x>
|
||||
<y>289.0</y>
|
||||
</state>
|
||||
<state id="6" name="q6">
|
||||
<x>260.0</x>
|
||||
<y>299.0</y>
|
||||
<final/>
|
||||
</state>
|
||||
<state id="11" name="q11">
|
||||
<x>233.0</x>
|
||||
<y>59.0</y>
|
||||
<label>L = {am bn cp | m = n or n = p}</label>
|
||||
</state>
|
||||
<!--The list of transitions.-->
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
<pop>B</pop>
|
||||
<push>BB</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>a</read>
|
||||
<pop>A</pop>
|
||||
<push>AA</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>2</to>
|
||||
<read>c</read>
|
||||
<pop>B</pop>
|
||||
<push/>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>4</to>
|
||||
<read>c</read>
|
||||
<pop>Z</pop>
|
||||
<push>Z</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>0</to>
|
||||
<read>a</read>
|
||||
<pop>Z</pop>
|
||||
<push>AZ</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>4</to>
|
||||
<read>c</read>
|
||||
<pop>Z</pop>
|
||||
<push>Z</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>5</to>
|
||||
<read>b</read>
|
||||
<pop>A</pop>
|
||||
<push/>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
<pop>Z</pop>
|
||||
<push>BZ</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>1</to>
|
||||
<read>b</read>
|
||||
<pop>A</pop>
|
||||
<push>BA</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read/>
|
||||
<pop>A</pop>
|
||||
<push>A</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>2</from>
|
||||
<to>3</to>
|
||||
<read/>
|
||||
<pop>Z</pop>
|
||||
<push>Z</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>4</to>
|
||||
<read>c</read>
|
||||
<pop>Z</pop>
|
||||
<push>Z</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>0</from>
|
||||
<to>5</to>
|
||||
<read>b</read>
|
||||
<pop>A</pop>
|
||||
<push/>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>4</from>
|
||||
<to>6</to>
|
||||
<read/>
|
||||
<pop>Z</pop>
|
||||
<push>Z</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>5</from>
|
||||
<to>6</to>
|
||||
<read/>
|
||||
<pop>Z</pop>
|
||||
<push>Z</push>
|
||||
</transition>
|
||||
<transition>
|
||||
<from>1</from>
|
||||
<to>2</to>
|
||||
<read>c</read>
|
||||
<pop>B</pop>
|
||||
<push/>
|
||||
</transition>
|
||||
</automaton>
|
||||
</structure>
|
||||