"A neco pro odborniky: obecne je identifikace viru ekvivalentni s halting problemem, tedy neresitelna v konecnem case." Je to sice nepodstatne, ale docela se zajmem bych se podival na dukaz tehle vety... :)Zrejme plyne z Riceovy vety. Jinak primy dukaz je take jednoduchy: Necht P1 je libovolny program a P2 je program, ktery dela to, ze spusti P1 na pevny vstup, pocka az P1 zastavi a pak napadne ostatni programy. P2 je tedy vir prave tehdy, kdyz P1 zastavi.