blob: 4a659af3ddd6adb63cd42289d93231d5d4544a2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
<rpc-reply <RPCHEADER>>
<data>
<turing-machine xmlns="http://example.net/turing-machine">
<transition-function>
<delta>
<label>separator</label>
<output>
<state>4</state>
<symbol>1</symbol>
</output>
<input>
<state>0</state>
<symbol>0</symbol>
</input>
</delta>
<delta>
<label>go home</label>
<output>
<head-move>left</head-move>
</output>
<input>
<state>3</state>
<symbol>1</symbol>
</input>
</delta>
<delta>
<label>write separator</label>
<output>
<state>3</state>
<head-move>left</head-move>
<symbol>0</symbol>
</output>
<input>
<state>2</state>
<symbol>1</symbol>
</input>
</delta>
<delta>
<label>right summand</label>
<input>
<state>1</state>
<symbol>1</symbol>
</input>
</delta>
<delta>
<label>left summand</label>
<input>
<state>0</state>
<symbol>1</symbol>
</input>
</delta>
<delta>
<label>right end</label>
<output>
<state>2</state>
<head-move>left</head-move>
</output>
<input>
<state>1</state>
<symbol></symbol>
</input>
</delta>
<delta>
<label>final step</label>
<output>
<state>4</state>
</output>
<input>
<state>3</state>
<symbol></symbol>
</input>
</delta>
</transition-function>
</turing-machine>
</data>
</rpc-reply>
|
