er03_to_afnd.json

{
    "V": [
        "a",
        "b"
    ],
    "Q": [
        "q0",
        "q1",
        "q2",
        "q3",
        "q4",
        "q5",
        "q6",
        "q7",
        "q8",
        "q9"
    ],
    "delta": {
        "q2": {
            "a": [
                "q3"
            ]
        },
        "q0": {
            "": [
                "q2",
                "q4"
            ]
        },
        "q3": {
            "": [
                "q1"
            ]
        },
        "q4": {
            "": [
                "q5",
                "q6"
            ]
        },
        "q6": {
            "a": [
                "q7"
            ]
        },
        "q8": {
            "b": [
                "q9"
            ]
        },
        "q7": {
            "": [
                "q8"
            ]
        },
        "q9": {
            "": [
                "q6",
                "q5"
            ]
        },
        "q5": {
            "": [
                "q1"
            ]
        },
        "q1": {
            "": []
        }
    },
    "q0": "q0",
    "F": [
        "q1"
    ]
}