La función de transición formula_42 en el caso no determinista, queda definida como sigue: