Utilizamos cookies propias y de terceros para mejorar la experiencia de navegación, y ofrecer contenidos y publicidad de interés. Al continuar con la navegación entendemos que se acepta nuestra política de cookies.
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 ...
28 visualizaciones durante los últimos 90 días
3
0
Open Access - Porque la ciencia oculta es ciencia muerta
28 visualizaciones durante los últimos 90 días