Interface LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V>