TuringMachine/grammar/wcw.json

{
    "name": "wcw",
    "description": "{ wcw | w ∈ {a,b}+ }",
    "grammar": {
        "states": {
            "states": [
                "q0",
                "[q1,a]",
                "[q1,b]",
                "[q2,a]",
                "[q2,b]",
                "q3",
                "q4",
                "q5",
                "q6",
                "q7",
                "q8"
            ],
            "initial": "q0",
            "finial": [
                "q8"
            ]
        },
        "input": [
            "a",
            "b",
            "c"
        ],
        "alphabet": [
            "a",
            "b",
            "c",
            "X",
            "Y",
            "B"
        ],
        "blank": "B",
        "transition": {
            "q0": {
                "a": [
                    "[q1,a]",
                    "X",
                    "R"
                ],
                "b": [
                    "[q1,b]",
                    "Y",
                    "R"
                ]
            },
            "[q1,a]": {
                "a": [
                    "[q1,a]",
                    "a",
                    "R"
                ],
                "b": [
                    "[q1,a]",
                    "b",
                    "R"
                ],
                "c":[
                    "[q2,a]",
                    "c",
                    "R"
                ]
            },
            "[q1,b]": {
                "a": [
                    "[q1,b]",
                    "a",
                    "R"
                ],
                "b": [
                    "[q1,b]",
                    "b",
                    "R"
                ],
                "c":[
                    "[q2,b]",
                    "c",
                    "R"
                ]
            },
            "[q2,a]": {
                "X": [
                    "[q2,a]",
                    "X",
                    "R"
                ],
                "Y": [
                    "[q2,a]",
                    "Y",
                    "R"
                ],
                "a":[
                    "q3",
                    "X",
                    "L"
                ]
            },
            "[q2,b]": {
                "X": [
                    "[q2,b]",
                    "X",
                    "R"
                ],
                "Y": [
                    "[q2,b]",
                    "Y",
                    "R"
                ],
                "b":[
                    "q3",
                    "Y",
                    "L"
                ]
            },
            "q3": {
                "X": [
                    "q3",
                    "X",
                    "L"
                ],
                "Y": [
                    "q3",
                    "Y",
                    "L"
                ],
                "c": [
                    "q4",
                    "c",
                    "L"
                ]
            },
            "q4": {
                "a": [
                    "q5",
                    "a",
                    "L"
                ],
                "b": [
                    "q5",
                    "b",
                    "L"
                ],
                "X": [
                    "q6",
                    "X",
                    "R"
                ],
                "Y":[
                    "q6",
                    "Y",
                    "R"   
                ]
            },
            "q5": {
                "a": [
                    "q5",
                    "a",
                    "L"
                ],
                "b": [
                    "q5",
                    "b",
                    "L"
                ],
                "X": [
                    "q0",
                    "X",
                    "R"
                ],
                "Y": [
                    "q0",
                    "Y",
                    "R"
                ]
            },
            "q6":{
                "X":[
                    "q6",
                    "X",
                    "R"
                ],
                "Y":[
                    "q6",
                    "Y",
                    "R"
                ],
                "c":[
                    "q6",
                    "c",
                    "R"   
                ],
                "B":[
                    "q7",
                    "B",
                    "L"
                ]
            },
            "q7":{
                "c":[
                    "q7",
                    "c",
                    "L"
                ],
                "X":[
                    "q7",
                    "a",
                    "L"
                ],
                "Y":[
                    "q7",
                    "b",
                    "L"
                ],
                "B":[
                    "q8",
                    "B",
                    "R"
                ]
            }
        }
    },
    "demo":"aabbbcaabbb"
}