uni-lab/python-lab/Finite-Automatons-Computation/data/example_nfa.json

{
    "states": {
        "0": ["I"],
        "1": ["I"],
        "2": ["F"]
    },
    "alphabet": [
        "a",
        "b"
    ],
    "transitions": {
        "0": {
            "b" : [],
            "a" : ["1"]
        },
        "1": {
            "a" : ["2"],
            "b" : []
        },
        "2": {
            "a" : ["2"],
            "b" : ["2", "0"]
        }
    }
}