Am venit cu un algoritm recursiv destul de naiv (pseudocod):
Map
Cea mai mare problemă în acest sens este că nu are capacitatea de a detecta dependențele ciclice - poate trece în recursivitate infinită (adică suprapopularea stivei ;-p). Singura modalitate pe care o văd ar fi să întoarcă algoritmul recursiv într-un algoritm interactiv cu un teanc manual și să verifice manual stiva pentru elemente repetate.
Oricine are ceva mai bun?