max wrote:
sembra che abbiano inventato un programma che dandogli in pasto un sorgente semplificato, ne genera un altro completo, automaticamente... privo di bug!!
se ho capito bene e se ricordo bene e' il problema della fermata, oppure una sua variante. Come spiegato qui http://en.wikipedia.org/wiki/Halting_problem , il problema non e' decidibile.
Questo in teoria, in pratica credo si possano fare delle ragionevoli approsimazioni.