Se considera entonces que los algoritmos no deterministas son un caso especial.