{
  "original_transition": {
    "S": {
      "a": "Z",
      "b": "B"
    },
    "B": {
      "a": "W",
      "b": "B"
    },
    "Z": {
      "a": "F",
      "b": "B"
    },
    "W": {
      "a": "F",
      "b": "B"
    },
    "F": {
      "a": "F",
      "b": "B"
    },
    "U": {
      "a": "U",
      "b": "U"
    }
  },
  "alphabet": [
    "a",
    "b"
  ],
  "original_accept": [
    "F",
    "U"
  ],
  "minimization": {
    "reachable": [
      "B",
      "F",
      "S",
      "W",
      "Z"
    ],
    "removed_unreachable": [
      "U"
    ],
    "partition_history": [
      [
        [
          "B",
          "S",
          "W",
          "Z"
        ],
        [
          "F"
        ]
      ],
      [
        [
          "B",
          "S"
        ],
        [
          "F"
        ],
        [
          "W",
          "Z"
        ]
      ]
    ],
    "signature_history_by_alphabet": [
      {
        "B": [
          0,
          0
        ],
        "F": [
          1,
          0
        ],
        "S": [
          0,
          0
        ],
        "W": [
          1,
          0
        ],
        "Z": [
          1,
          0
        ]
      },
      {
        "B": [
          2,
          0
        ],
        "F": [
          1,
          0
        ],
        "S": [
          2,
          0
        ],
        "W": [
          1,
          0
        ],
        "Z": [
          1,
          0
        ]
      }
    ],
    "blocks": [
      [
        "B",
        "S"
      ],
      [
        "F"
      ],
      [
        "W",
        "Z"
      ]
    ],
    "quotient": {
      "0": {
        "a": "2",
        "b": "0"
      },
      "1": {
        "a": "1",
        "b": "0"
      },
      "2": {
        "a": "1",
        "b": "0"
      }
    },
    "start": "0",
    "accept": [
      "1"
    ],
    "owner": {
      "B": 0,
      "S": 0,
      "F": 1,
      "W": 2,
      "Z": 2
    }
  },
  "finite_word_checks": 511,
  "all_reachable_pair_suffix_certificates": [
    {
      "pair": [
        "B",
        "F"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": ""
    },
    {
      "pair": [
        "B",
        "S"
      ],
      "same_block": true,
      "shortest_distinguishing_suffix": null
    },
    {
      "pair": [
        "B",
        "W"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": "a"
    },
    {
      "pair": [
        "B",
        "Z"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": "a"
    },
    {
      "pair": [
        "F",
        "S"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": ""
    },
    {
      "pair": [
        "F",
        "W"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": ""
    },
    {
      "pair": [
        "F",
        "Z"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": ""
    },
    {
      "pair": [
        "S",
        "W"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": "a"
    },
    {
      "pair": [
        "S",
        "Z"
      ],
      "same_block": false,
      "shortest_distinguishing_suffix": "a"
    },
    {
      "pair": [
        "W",
        "Z"
      ],
      "same_block": true,
      "shortest_distinguishing_suffix": null
    }
  ],
  "invalid_cases_rejected": [
    "missing_transition",
    "unknown_target",
    "unknown_accept",
    "unknown_start",
    "duplicate_symbol",
    "budget"
  ],
  "scope": "Own complete finite DFA, remove unreachable before refinement, stable partition transition homomorphism and distinct-block suffix certificates.511 finite tests not proof allwords on their own. Not Hopcroft complexity/NFA/regex engine/product parser."
}