Interface MutableAutomatonBuilder<S,T,U extends OmegaAcceptance>