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

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