public static boolean hasDeadStatesToAccept(Automaton a){
  BitSet reachableFromInitial=getLiveStatesFromInitial(a);
  BitSet reachableFromAccept=getLiveStatesToAccept(a);
  reachableFromAccept.andNot(reachableFromInitial);
  return reachableFromAccept.isEmpty() == false;
}

public static boolean hasDeadStatesToAccept ( Automaton a ) { BitSet reachableFromInitial = getLiveStatesFromInitial ( a ) ; BitSet reachableFromAccept = getLiveStatesToAccept ( a ) ; reachableFromAccept . andNot ( reachableFromInitial ) ; return reachableFromAccept . isEmpty ( ) == false ; }
returns true if there are dead states that reach an accept state .
