blob: 453b3accf31a4e8f74d4edd24dfc2cb62910bd21 (
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
|
<turing-machine xmlns="http://example.net/turing-machine">
<transition-function>
<delta>
<label>left summand</label>
<input>
<state>0</state>
<symbol>1</symbol>
</input>
</delta>
<delta>
<label>separator</label>
<input>
<state>0</state>
<symbol>0</symbol>
</input>
<output>
<state>1</state>
<symbol>1</symbol>
</output>
</delta>
<delta>
<label>right summand</label>
<input>
<state>1</state>
<symbol>1</symbol>
</input>
</delta>
<delta>
<label>right end</label>
<input>
<state>1</state>
<symbol/>
</input>
<output>
<state>2</state>
<head-move>left</head-move>
</output>
</delta>
<delta>
<label>write separator</label>
<input>
<state>2</state>
<symbol>1</symbol>
</input>
<output>
<state>3</state>
<symbol>0</symbol>
<head-move>left</head-move>
</output>
</delta>
<delta>
<label>go home</label>
<input>
<state>3</state>
<symbol>1</symbol>
</input>
<output>
<head-move>left</head-move>
</output>
</delta>
<delta>
<label>final step</label>
<input>
<state>3</state>
<symbol/>
</input>
<output>
<state>4</state>
</output>
</delta>
</transition-function>
</turing-machine>
|