Add binary-counter Turing machine definition

This commit is contained in:
Alexa Amundson
2026-03-11 13:56:39 -05:00
parent 7ae1e19833
commit 7bcf104026

View File

@@ -0,0 +1,18 @@
{
"states": ["right", "carry", "done", "halt"],
"alphabet": ["0", "1", "_"],
"blank": "_",
"start": "right",
"halt": "halt",
"transitions": {
"right:0": ["right", "0", "R"],
"right:1": ["right", "1", "R"],
"right:_": ["carry", "_", "L"],
"carry:0": ["done", "1", "L"],
"carry:1": ["carry", "0", "L"],
"carry:_": ["done", "1", "S"],
"done:0": ["done", "0", "L"],
"done:1": ["done", "1", "L"],
"done:_": ["halt", "_", "R"]
}
}