input1.json

{
    "states": [
        "Q0",
        "Q1",
        "Q2"
    ],
    "letters": [
        "0",
        "1"
    ],
    "transition_function": [
        [
            "Q0",
            "0",
            "Q2"
        ],
        [
            "Q0",
            "1",
            "Q1"
        ],
        [
            "Q1",
            "0",
            "Q1"
        ],
        [
            "Q1",
            "1",
            "Q1"
        ],
        [
            "Q2",
            "0",
            "Q1"
        ]
    ],
    "start_states": [
        "Q0"
    ],
    "final_states": [
        "Q1"
    ]
}