{ "name": "decide-an-bn", "description": "decide a^n b^n - head starts on the left end", "max_state": 25, "symbols": "XQab01$@", "tape": "XXXQQQ", "position": 6, "rules": [ [ 0, "#", "1", 5, "L" ], [ 0, "Q", "Q", 3, "R" ], [ 0, "a", "X", 1, "R" ], [ 1, "#", "0", 6, "L" ], [ 1, "Q", "Q", 1, "R" ], [ 1, "a", "a", 1, "R" ], [ 1, "b", "Q", 2, "L" ], [ 2, "X", "X", 0, "R" ], [ 2, "Q", "Q", 2, "L" ], [ 2, "a", "a", 2, "L" ], [ 3, "#", "1", 5, "L" ], [ 3, "Q", "Q", 3, "R" ], [ 3, "b", "b", 4, "R" ], [ 4, "#", "0", 6, "L" ], [ 4, "b", "b", 4, "R" ], [ 5, "#", "#", 5, "R" ], [ 5, "X", "#", 5, "L" ], [ 5, "Q", "#", 5, "L" ], [ 5, "1", "1", "h", "S" ], [ 6, "#", "#", 6, "R" ], [ 6, "X", "#", 6, "L" ], [ 6, "Q", "#", 6, "L" ], [ 6, "a", "#", 6, "L" ], [ 6, "b", "#", 6, "L" ], [ 6, "0", "0", "h", "S" ] ] }