src/interpreter/finite-automaton/dfa/dfa-minimizer.js
function areEquivalent(s1, s2, table, alphabet) {
  for (const symbol of alphabet) {
    if (!goToSameSet(s1, s2, table, symbol)) {
      return false;
    }
  }
  return true;
}
function areEquivalent(s1, s2, table, alphabet) {
  for (const symbol of alphabet) {
    if (!goToSameSet(s1, s2, table, symbol)) {
      return false;
    }
  }
  return true;
}
Checks whether two states are N-equivalent, i.e. whether they go
to the same set on a symbol.