marco.b

User info:

Registered: Dec 2003
Posts: 12 (0.00 al dì)
Location:
Corso: Informatica per TLC
Anno:
Time Online: 10:08:26 [...]
Status: Offline

Post actions:

buongiorno a tutti...
lla regola che si usa per rinominare una variabile x facendola diventare x' quale è?
se nell'albero ho già incontrato una x la volta dopo la rinomino?
poi alla fine se il ramo non fallisce come risultato devo solo prendere le variabili non rinominate?
queste regole sono semplici ma a lezione sono state spiegate facendole imparare in modo empirico e quando le ha dette esplicitamente mi sa che ero assente.