{
  "authored_nfa": {
    "states": [
      0,
      1,
      2,
      3,
      4
    ],
    "start": 0,
    "epsilon": {
      "0": [
        1,
        3
      ]
    },
    "symbol_moves": [
      {
        "from": 1,
        "symbol": "a",
        "to": [
          1
        ]
      },
      {
        "from": 1,
        "symbol": "b",
        "to": [
          2
        ]
      },
      {
        "from": 3,
        "symbol": "b",
        "to": [
          3
        ]
      },
      {
        "from": 3,
        "symbol": "a",
        "to": [
          4
        ]
      }
    ],
    "accepting": [
      2,
      4
    ]
  },
  "language": "a*b OR b*a; each branch ends in exactly one opposite symbol",
  "reachable_dfa_states": [
    {
      "id": 0,
      "nfa_subset": [
        0,
        1,
        3
      ],
      "accepting": false,
      "transitions": {
        "a": 1,
        "b": 2
      }
    },
    {
      "id": 1,
      "nfa_subset": [
        1,
        4
      ],
      "accepting": true,
      "transitions": {
        "a": 3,
        "b": 4
      }
    },
    {
      "id": 2,
      "nfa_subset": [
        2,
        3
      ],
      "accepting": true,
      "transitions": {
        "a": 5,
        "b": 6
      }
    },
    {
      "id": 3,
      "nfa_subset": [
        1
      ],
      "accepting": false,
      "transitions": {
        "a": 3,
        "b": 4
      }
    },
    {
      "id": 4,
      "nfa_subset": [
        2
      ],
      "accepting": true,
      "transitions": {
        "a": 7,
        "b": 7
      }
    },
    {
      "id": 5,
      "nfa_subset": [
        4
      ],
      "accepting": true,
      "transitions": {
        "a": 7,
        "b": 7
      }
    },
    {
      "id": 6,
      "nfa_subset": [
        3
      ],
      "accepting": false,
      "transitions": {
        "a": 5,
        "b": 6
      }
    },
    {
      "id": 7,
      "nfa_subset": [],
      "accepting": false,
      "transitions": {
        "a": 7,
        "b": 7
      }
    }
  ],
  "dead_state": 7,
  "independent_short_string_checks": [
    {
      "word": "",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "a",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "b",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "aa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "ab",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "ba",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "bb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aab",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "aba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bba",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "bbb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aaaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aaab",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "aaba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aabb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abbb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "babb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbba",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "bbbb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aaaaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aaaab",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "aaaba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aaabb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aabaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aabab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aabba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "aabbb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abaaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abaab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "ababa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "ababb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abbaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abbab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abbba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "abbbb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baaaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baaab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baaba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "baabb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "babaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "babab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "babba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "babbb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbaaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbaab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbaba",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbabb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbbaa",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbbab",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    },
    {
      "word": "bbbba",
      "nfa": true,
      "dfa": true,
      "independent_language_definition": true
    },
    {
      "word": "bbbbb",
      "nfa": false,
      "dfa": false,
      "independent_language_definition": false
    }
  ],
  "bounded_checks_not_general_proof": true,
  "separate_epsilon_cycle_fixture": {
    "epsilon": {
      "0": [
        1
      ],
      "1": [
        0,
        2
      ],
      "2": [
        1
      ]
    },
    "start": [
      0
    ],
    "closure": [
      0,
      1,
      2
    ],
    "same_closure_function_used": true,
    "empty_start_stays_empty": true,
    "does_not_change_main_nfa_or_dfa": true
  },
  "invalid_alphabet_rejected": true,
  "minimal_dfa_or_full_regex_engine_claimed": false
}