Per quanto ho capito correttamente, come risultato del teorema di Rice, l'equivalenza di due programmi non è generalmente decidibile.
Tuttavia, esiste una vasta gamma di tecniche di test e debug, che cambiano il programma per il loro scopo: i...
posta
22.04.2018 - 18:39