Una forma de simular algoritmos no deterministas "N" mediante el empleo de otros deterministas "D" puede realizarse tratando los estados de "N" como estados de "D".