q4_eg_in_DFA.json

{
    "states": [
        "a",
        "b",
        "c",
        "d",
        "e",
        "f"
    ],
    "letters": [
        "0",
        "1"
    ],
    "transition_function": [
        [
            "a",
            "0",
            "b"
        ],
        [
            "a",
            "1",
            "c"
        ],
        [
            "b",
            "0",
            "a"
        ],
        [
            "b",
            "1",
            "d"
        ],
        [
            "c",
            "0",
            "e"
        ],
        [
            "c",
            "1",
            "f"
        ],
        [
            "d",
            "0",
            "e"
        ],
        [
            "d",
            "1",
            "f"
        ],
        [
            "e",
            "0",
            "e"
        ],
        [
            "e",
            "1",
            "f"
        ],
        [
            "f",
            "0",
            "f"
        ],
        [
            "f",
            "1",
            "f"
        ]
    ],
    "start_states": [
        "a"
    ],
    "final_states": [
        "c",
        "d",
        "e"
    ]
}