{
    "name": "0n1n",
    "description": "{ 0^{n}1^{n} | n>0 }",
    "grammar": {
        "states": {
            "states": [
                "q0",
                "q1",
                "q2",
                "q3",
                "q4"
            ],
            "initial": "q0",
            "finial": [
                "q4"
            ]
        },
        "input": [
            "0",
            "1"
        ],
        "alphabet": [
            "0",
            "1",
            "B",
            "X",
            "Y"
        ],
        "blank": "B",
        "transition": {
            "q0": {
                "0": [
                    "q1",
                    "X",
                    "R"
                ],
                "Y": [
                    "q3",
                    "Y",
                    "R"
                ]
            },
            "q1": {
                "Y": [
                    "q1",
                    "Y",
                    "R"
                ],
                "0": [
                    "q1",
                    "0",
                    "R"
                ],
                "1": [
                    "q2",
                    "Y",
                    "L"
                ]
            },
            "q2": {
                "Y": [
                    "q2",
                    "Y",
                    "L"
                ],
                "0": [
                    "q2",
                    "0",
                    "L"
                ],
                "X": [
                    "q0",
                    "X",
                    "R"
                ]
            },
            "q3": {
                "Y": [
                    "q3",
                    "Y",
                    "R"
                ],
                "B": [
                    "q4",
                    "B",
                    "L"
                ]
            },
            "q4": {
                "X": [
                    "q4",
                    "0",
                    "L"
                ],
                "Y": [
                    "q4",
                    "1",
                    "L"
                ],
                "B": [
                    "q4",
                    "B",
                    "R"
                ]
            }
        }
    },
    "demo": "000111"
}