Redirecting to Mealyho automat