mirror of
https://github.com/blackboxprogramming/universal-computer.git
synced 2026-03-17 07:57:27 -05:00
33 lines
1.1 KiB
JSON
33 lines
1.1 KiB
JSON
{
|
|
"states": ["start", "have0", "have1", "right0", "right1", "check0", "check1", "back", "accept", "reject", "halt"],
|
|
"alphabet": ["0", "1", "X", "_"],
|
|
"blank": "_",
|
|
"start": "start",
|
|
"halt": "halt",
|
|
"transitions": {
|
|
"start:0": ["right0", "X", "R"],
|
|
"start:1": ["right1", "X", "R"],
|
|
"start:X": ["accept", "X", "R"],
|
|
"start:_": ["accept", "_", "S"],
|
|
"right0:0": ["right0", "0", "R"],
|
|
"right0:1": ["right0", "1", "R"],
|
|
"right0:X": ["check0", "X", "L"],
|
|
"right0:_": ["check0", "_", "L"],
|
|
"right1:0": ["right1", "0", "R"],
|
|
"right1:1": ["right1", "1", "R"],
|
|
"right1:X": ["check1", "X", "L"],
|
|
"right1:_": ["check1", "_", "L"],
|
|
"check0:0": ["back", "X", "L"],
|
|
"check0:X": ["accept", "X", "S"],
|
|
"check0:1": ["reject", "1", "S"],
|
|
"check1:1": ["back", "X", "L"],
|
|
"check1:X": ["accept", "X", "S"],
|
|
"check1:0": ["reject", "0", "S"],
|
|
"back:0": ["back", "0", "L"],
|
|
"back:1": ["back", "1", "L"],
|
|
"back:X": ["start", "X", "R"],
|
|
"accept:X": ["accept", "X", "R"],
|
|
"accept:_": ["halt", "_", "S"]
|
|
}
|
|
}
|