Mercurial > 14ss.theoinf

comparison machines/ta81_alternativ.jff @ 29:27fd7a9cee49

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add jflap turing machines
author Markus Kaiser <markus.kaiser@in.tum.de>
date Sat, 21 Jun 2014 20:10:47 +0200
parents
children
comparison
equal deleted inserted replaced
28:2e1a4e52da10 29:27fd7a9cee49
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 6.4.--><structure>
2 <type>turing</type>
3 <automaton>
4 <!--The list of states.-->
5 <block id="0" name="q0">
6 <tag>Machine0</tag>
7 <x>181.0</x>
8 <y>280.0</y>
9 <initial/>
10 </block>
11 <block id="1" name="q1">
12 <tag>Machine1</tag>
13 <x>376.0</x>
14 <y>119.0</y>
15 </block>
16 <block id="2" name="q2">
17 <tag>Machine2</tag>
18 <x>519.0</x>
19 <y>283.0</y>
20 </block>
21 <block id="3" name="q3">
22 <tag>Machine3</tag>
23 <x>373.0</x>
24 <y>438.0</y>
25 </block>
26 <block id="4" name="qF">
27 <tag>Machine4</tag>
28 <x>626.0</x>
29 <y>440.0</y>
30 <final/>
31 </block>
32 <!--The list of transitions.-->
33 <transition>
34 <from>0</from>
35 <to>0</to>
36 <read>X</read>
37 <write>X</write>
38 <move>R</move>
39 </transition>
40 <transition>
41 <from>1</from>
42 <to>1</to>
43 <read>|</read>
44 <write>|</write>
45 <move>R</move>
46 </transition>
47 <transition>
48 <from>1</from>
49 <to>1</to>
50 <read>X</read>
51 <write>X</write>
52 <move>R</move>
53 </transition>
54 <transition>
55 <from>3</from>
56 <to>4</to>
57 <read/>
58 <write/>
59 <move>R</move>
60 </transition>
61 <transition>
62 <from>1</from>
63 <to>2</to>
64 <read/>
65 <write>X</write>
66 <move>L</move>
67 </transition>
68 <transition>
69 <from>3</from>
70 <to>3</to>
71 <read>X</read>
72 <write>|</write>
73 <move>L</move>
74 </transition>
75 <transition>
76 <from>0</from>
77 <to>1</to>
78 <read>|</read>
79 <write>X</write>
80 <move>R</move>
81 </transition>
82 <transition>
83 <from>2</from>
84 <to>0</to>
85 <read/>
86 <write/>
87 <move>R</move>
88 </transition>
89 <transition>
90 <from>2</from>
91 <to>2</to>
92 <read>|</read>
93 <write>|</write>
94 <move>L</move>
95 </transition>
96 <transition>
97 <from>2</from>
98 <to>2</to>
99 <read>X</read>
100 <write>X</write>
101 <move>L</move>
102 </transition>
103 <transition>
104 <from>0</from>
105 <to>3</to>
106 <read/>
107 <write/>
108 <move>L</move>
109 </transition>
110 <!--The list of automata-->
111 <Machine0/>
112 <Machine2/>
113 <Machine1/>
114 <Machine4/>
115 <Machine3/>
116 </automaton>
117 </structure>