question: public static boolean hasDeadStatesFromInitial ( Automaton a ) { BitSet reachableFromInitial = getLiveStatesFromInitial ( a ) ; BitSet reachableFromAccept = getLiveStatesToAccept ( a ) ; reachableFromInitial . andNot ( reachableFromAccept ) ; return reachableFromInitial . isEmpty ( ) == false ; }
target:  Returns true if there are dead states reachable from an initial state. 