Interface MealyTransitionSystem<S,​I,​T,​O>