Los dos casos anteriores configuran al autómata finito no determinista.