{ "states": ["q0", "q_h"], "alphabet": ["1", "_"], "blank": "_", "transitions": { "q0:1": ["q0", "1", "R"], "q0:_": ["q_h", "1", "S"] }, "start": "q0", "halt": "q_h" }