Algoritmos no deterministas | Synapse