[Discussioni] Come di distingue il codice?

[Carlo Perassi]

Paonza wrote:

> Ciao a tutti, sono nuovo in questa ml...
> 
> Non so se la domanda e' pertinete ma mi sono sempre chiesto quali sono I
> criteri per stabilire che una certa porzione di codice e diversa da
> un'altra... Cioe', mi spiego meglio: nel caso di due applicazioni che
> fanno la stessa cosa o che hanno una stessa funzionalita', andano ad
> analizzare il codice, si vede che una certa procedura e' "simile"...
> Appunto, quando due porzioni di codice si definiscono uguali e quando
> simili.


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/