Estadísticas del PDF: Programas Universales

Programas Universales

Dpto. Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla

Lógica Matemática

Curso 2011–12

LM, 2011–12

Programas Universales 4.1

Codificación de programas

Nuestro siguiente objetivo es probar la existencia de

programas universales, es decir, programas GOTO capaces de
simular al ejecución de cualquier otro programa GOTO.
Para ello será necesario manejar programas de manera

efectiva, es decir, manejar los programas mediante programas.

Esto ...