Dpto. de Ciencias de la Computación e
Inteligencia Artificial
Universidad de Sevilla
Modelos de Computación y Complejidad
Grado en Ingeniería Informática. Tecnologías Informáticas
(Curso 2020-2021)
Soluciones de ejercicios y problemas:
Funciones GOTO-computables:
3
;
4
;
5
;
6
;
7
;
8
;
9
;
10
.
11
;
12
;
13
;
14
;
15
;
16
;
18
;
19
;
20
.
Codificaciones y programas universales
Recursividad enumerable e indecidibilidad
Modelos de Computación y Complejidad