[{
  "_exerciseType": "Comment: DFA, NFA, REGEXP, GRAMMAR, PDA, TM",
  "exerciseType": "GRAMMAR",
  "totalTrueCases": 8,
  "totalFalseCases": 5,
  "containLetters": ["a", "b"],
  "randomStringLength": [0, 15],
  "description": "Give a right-linear grammar for the following NFA.",
  "testCases": [
    {
      "right-linear": true
    },
    {
      "": false,
      "ShowTestCase":true
    },
    {
      "aaaa": false,
      "ShowTestCase":true
    },
    {
      "a": true,
      "ShowTestCase":true
    },
    {
      "bb": true,
      "ShowTestCase":true
    },
    {
      "baa": false,
      "ShowTestCase":true
    },
    {
      "bbbb": true,
      "ShowTestCase":true
    },
    {
      "bbbbbb": true,
      "ShowTestCase":true
    },
    {
      "ababa": true,
      "ShowTestCase":true
    },
    {
      "bbb": false,
      "ShowTestCase":true
    },
    {
      "abbaa": true,
      "ShowTestCase":true
    },
    {
      "baaaaaab": true,
      "ShowTestCase":true
    },
    {
      "aababa": false,
      "ShowTestCase":true
    }

  ],
  "graph": {
    "nodes": [
      {
        "left": 7,
        "top": 20.203125,
        "i": true,
        "nodeValue": "S",
        "f": false
      },
      {
        "left": 177.203125,
        "top": 0,
        "nodeValue": "A",
        "i": false,
        "f": true
      },
      {
        "left": 122.203125,
        "top": 127.203125,
        "nodeValue": "B",
        "i": false,
        "f": false
      },
      {
        "left": 223.203125,
        "top": 174.203125,
        "nodeValue": "C",
        "i": false,
        "f": true
      }
    ],
    "edges": [
      {
        "start": 0,
        "end": 1,
        "weight": "a"
      },
      {
        "start": 0,
        "end": 2,
        "weight": "b"
      },
      {
        "start": 1,
        "end": 2,
        "weight": "a<br>b"
      },
      {
        "start": 2,
        "end": 1,
        "weight": "a<br>b"
      },
      {
        "start": 2,
        "end": 3,
        "weight": "a<br>b"
      }
    ],
    "shorthand": false
  },
  "solution": ""
}]