{"automaton": [{"id": "A", "isInitial": true, "isFinal": false, "transitionsOut": [{"nextState": "B", "terminal": "a"}, {"nextState": "C", "terminal": "b"}, {"nextState": "D", "terminal": "c"}]}, {"id": "B", "isInitial": false, "isFinal": true, "transitionsOut": [{"nextState": "D", "terminal": "a"}, {"nextState": "D", "terminal": "b"}, {"nextState": "D", "terminal": "c"}]}, {"id": "C", "isInitial": false, "isFinal": true, "transitionsOut": [{"nextState": "D", "terminal": "a"}, {"nextState": "D", "terminal": "b"}, {"nextState": "C", "terminal": "c"}]}, {"id": "D", "isInitial": false, "isFinal": false, "transitionsOut": [{"nextState": "D", "terminal": "a"}, {"nextState": "D", "terminal": "b"}, {"nextState": "D", "terminal": "c"}]}], "error": "null"}