{
    "name": "m-n",
    "description": "calculate m-n",
    "grammar": {
        "states": {
            "states": [
                "q0",
                "q1",
                "q2",
                "q3",
                "q4",
                "q5",
                "q6"
            ],
            "initial": "q0",
            "finial": [
                "q6"
            ]
        },
        "input": [
            "0",
            "1"
        ],
        "alphabet": [
            "0",
            "1",
            "B"
        ],
        "blank": "B",
        "transition": {
            "q0": {
                "0": [
                    "q1",
                    "B",
                    "R"
                ],
                "1": [
                    "q5",
                    "B",
                    "R"
                ]
            },
            "q1": {
                "0": [
                    "q1",
                    "0",
                    "R"
                ],
                "1": [
                    "q2",
                    "1",
                    "R"
                ]
            },
            "q2": {
                "1": [
                    "q2",
                    "1",
                    "R"
                ],
                "B": [
                    "q3",
                    "B",
                    "L"
                ],
                "0": [
                    "q4",
                    "1",
                    "L"
                ]
            },
            "q3": {
                "0": [
                    "q3",
                    "0",
                    "L"
                ],
                "1": [
                    "q3",
                    "B",
                    "L"
                ],
                "B": [
                    "q6",
                    "0",
                    "S"
                ]
            },
            "q4": {
                "0": [
                    "q4",
                    "0",
                    "L"
                ],
                "1": [
                    "q4",
                    "1",
                    "L"
                ],
                "B": [
                    "q0",
                    "B",
                    "R"
                ]
            },
            "q5": {
                "0": [
                    "q5",
                    "B",
                    "R"
                ],
                "1": [
                    "q5",
                    "B",
                    "R"
                ],
                "B": [
                    "q6",
                    "B",
                    "S"
                ]
            }
        }
    },
    "demo": "00000100"
}