Esta definición apenas se diferencia en permitir una regla ε de la siguiente forma: