[
    {
        "description": "Convert the following NFA to DFA",
        "testCases": [
            {
                "The resulting FA is a DFA": true
            }
        ],
        "graph": {
            "nodes": [
                {
                    "left": 20.203125,
                    "top": 129.203125,
                    "i": true,
                    "f": false,
                    "stateLabel": "<p class=\"label_css\"> </p>"
                },
                {
                    "left": 98.203125,
                    "top": 129.203125,
                    "i": false,
                    "f": false
                },
                {
                    "left": 98.203125,
                    "top": 10.203125,
                    "i": false,
                    "f": false
                },
                {
                    "left": 267.203125,
                    "top": 48.203125,
                    "i": false,
                    "f": false
                },
                {
                    "left": 370.203125,
                    "top": 137.203125,
                    "i": false,
                    "f": false
                },
                {
                    "left": 100.203125,
                    "top": 258.203125,
                    "i": false,
                    "f": false
                },
                {
                    "left": 277.203125,
                    "top": 256.203125,
                    "i": false,
                    "f": false
                },
                {
                    "left": 477.203125,
                    "top": 135.203125,
                    "i": false,
                    "f": true,
                    "stateLabel": "<p class=\"label_css\"> </p>"
                }
            ],
            "edges": [
                {
                    "start": 0,
                    "end": 0,
                    "weight": "b"
                },
                {
                    "start": 0,
                    "end": 1,
                    "weight": "&lambda;"
                },
                {
                    "start": 1,
                    "end": 2,
                    "weight": "b"
                },
                {
                    "start": 1,
                    "end": 5,
                    "weight": "b"
                },
                {
                    "start": 1,
                    "end": 4,
                    "weight": "&lambda;"
                },
                {
                    "start": 2,
                    "end": 3,
                    "weight": "a<br>c"
                },
                {
                    "start": 3,
                    "end": 1,
                    "weight": "c"
                },
                {
                    "start": 3,
                    "end": 4,
                    "weight": "c"
                },
                {
                    "start": 4,
                    "end": 7,
                    "weight": "b"
                },
                {
                    "start": 5,
                    "end": 6,
                    "weight": "a<br>b"
                },
                {
                    "start": 6,
                    "end": 1,
                    "weight": "c<br>&lambda;"
                },
                {
                    "start": 6,
                    "end": 4,
                    "weight": "c"
                }
            ],
            "shorthand": false
        }
    }
]