Diferencia entre revisiones de «Teoría de la computabilidad»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 1:
[[Archivo:Bundesarchiv Bild 183-S1024-016, VEB Robotron Elektronik Dresden, Computer EC 1040.jpg|thumb|VEB Robotron Elektronik Dresden.]]
La '''Teoría de la computabilidad''' es la parte de la [[Teoría de la computación|computación]] que estudia los [[problema de decisión|problemas de decisión]] que pueden ser resueltos con un [[algoritmo]] o equivalentemente con una [[máquina de Turing]]. La teoría de la computabilidad se interesa
* ¿Qué problemas puede resolver una máquina de Turing?
* ¿Qué otros formalismos equivalen a las máquinas de Turing?
| |||