R: [Discussioni] Come di distingue il codice?

[Paonza]

Ho capito cosa intendi... Effettivamente puo' essere un metodo di
valutazione xo' mi chiedo fino a che punto una soluzione di questo tipo
possa essere applicata in un contenzioso... Ok, si puo procedere alla
stesura di un diagramma degli stati per una o qualche funzione ma non
per tutto un programma... E non penso che si sia mai verificata la
situazione nella quale un giudice abbia eventualmente chiesto la
traduzione di due programmi in diagramma di stati x confrontarli...
(chissa' quanto tempo c vorrebbe!:) )

Uhm... La domanda era generica, cosi', e' una cosa a cui pensavo...
Penso che attualmente nessun tribunale abbia la capacita' di giudicare
se due programmi sono copiati o no, anche xe' I periti da entrambe le
parti si possono agganciare a infinite sfumature... Non so, e' una
questione interessante...

In pratica se uno prende del codice GNU/GPL e lo modifica (anche solo in
parte) e non voglia rilasciarlo nuovamente sotto questa licenza, penso
che nessuno lo possa accusare di aver rubato qualcosa, xe' non c sono
gli elementi x dimostarlo...

Sbaglio?

Grazie a tutti
Fabio


> 
> Non pretendo di spiegarti in due righe la cosa ma per farla breve: se 
> vuoi sapere se due programmi sono lo stesso, dovresti (in teoria!) 
> tradurre i sorgenti in clausole di Horn e vedere se equivalgono allo 
> stesso teorema.
> 
> Io pero' credo che tu intendessi dire: come posso dire "il 
> tuo programma 
> e' il mio lo hai copiato, hai solo cambiato i nomi alle 
> variabili". o qualcosa del genere... anche qui mi vengono in 
> mente solo risposte teoriche tipo determinare su 
> ingressi/uscite se le due macchine a stati sono uguali (praticamente 
> impossibile per programmi non banali)... e sarebbe la stessa 
> cosa della 
> risposta di prima.
> 
> Quel che ha detto Matteo e' forse cio' che cercavi.
> 
> -- 
> Carlo Perassi
> http://www.linux.it/~carlo/
>