Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma?
La teoría de la computabilidad está actualmente fundamentada en el paradigma de la Máquinas de Turing, en las funciones recursivas y en la tesis de Church-Turing. El modelo de Turing captura la noción intuitiva de lo que es algorítmicamente computable en un sentido amplio. La interacción es un parad...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Autónoma de Bucaramanga
2009-06-01
|
| Series: | Revista Colombiana de Computación |
| Subjects: | |
| Online Access: | https://revistas.unab.edu.co/index.php/rcc/article/view/1134 |