Class LimitDeterministicAutomatonImpl<S,T,U extends GeneralizedBuchiAcceptance,V>