Siguiente: Definiciones básicas Un nivel arriba: Teoría de la recursividad Anterior: Teoremas de autorreproducción

Virus en programas-while

La existencia de un programa que se autorreproduce fue demostrada por von Neumann en la década de los años 40. Aunque desde ese entonces se vislumbraba la posibilidad de tener programas errantes, es sólo a mediados de los 70 que aparecen los virus en computadoras. En esta sección haremos una presentación más de tipo ``programacional'' de los virus, en el marco de la Teoría de la Computabilidad. Esta presentación no es, ni mucho menos, una introducción a los métodos de creación de virus computacionales.