-
Notifications
You must be signed in to change notification settings - Fork 0
/
schema.json
82 lines (82 loc) · 1.88 KB
/
schema.json
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
77
78
79
80
81
82
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "cffnpwr/snails-machine",
"title": "Snails Machine Transitions Definition",
"description": "A JSON Schema for defining the transitions of a Snails Machine",
"type": "object",
"required": [
"initial_state",
"accept_states",
"blank",
"transitions"
],
"properties": {
"initial_state": {
"type": "string",
"description": "Initial state of the turing machine"
},
"accept_states": {
"type": "array",
"items": {
"type": "string"
},
"description": "Accept states of the turing machine"
},
"blank": {
"type": "string",
"description": "Blank tape symbol"
},
"transitions": {
"type": "array",
"items": {
"type": "object",
"properties": {
"from": {
"type": "string",
"description": "Transition from"
},
"to": {
"type": "string",
"description": "Transition to"
},
"read": {
"type": "string",
"description": "Read tape symbol"
},
"write": {
"type": "string",
"description": "Write tape symbol"
},
"direction": {
"type": "string",
"enum": [
"L",
"R",
"l",
"r",
"Right",
"Left",
"right",
"left",
"<-",
"->",
"<",
">",
"←",
"→"
],
"description": "Direction to move the tape head"
}
},
"required": [
"from",
"to",
"read",
"write",
"direction"
]
},
"description": "Transition functions"
}
}
}