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...
- Autores:
-
Barchini, Graciela Elisa
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2009
- Institución:
- Universidad Autónoma de Bucaramanga - UNAB
- Repositorio:
- Repositorio UNAB
- Idioma:
- spa
- OAI Identifier:
- oai:repository.unab.edu.co:20.500.12749/8972
- Acceso en línea:
- http://hdl.handle.net/20.500.12749/8972
- Palabra clave:
- Máquina de Turing
Computación Interactiva
Algoritmo
Computabilidad
Tesis de Church-Turing
Turing machine
Interactive Computing
Algorithm
Computability
Church-Turing thesis
Technological innovations
Computer's science
Technological development
Systems Engineer
Research
Technology of the information and communication
Innovaciones tecnológicas
Ciencias de la computación
Desarrollo tecnológico
Ingeniero de sistemas
Investigación
Tecnologías de la información y la comunicación
Máquina de turing
Computación interactiva
Algoritmo
Computabilidad
Tesis de church-turing
- Rights
- License
- Derechos de autor 2009 Revista Colombiana de Computación
id |
UNAB2_a4075355955b9772e7a30ebcb2a3ec20 |
---|---|
oai_identifier_str |
oai:repository.unab.edu.co:20.500.12749/8972 |
network_acronym_str |
UNAB2 |
network_name_str |
Repositorio UNAB |
repository_id_str |
|
dc.title.spa.fl_str_mv |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? |
dc.title.translated.eng.fl_str_mv |
Turing machines as a general model of computing. Towards a paradigm shift? |
title |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? |
spellingShingle |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? Máquina de Turing Computación Interactiva Algoritmo Computabilidad Tesis de Church-Turing Turing machine Interactive Computing Algorithm Computability Church-Turing thesis Technological innovations Computer's science Technological development Systems Engineer Research Technology of the information and communication Innovaciones tecnológicas Ciencias de la computación Desarrollo tecnológico Ingeniero de sistemas Investigación Tecnologías de la información y la comunicación Máquina de turing Computación interactiva Algoritmo Computabilidad Tesis de church-turing |
title_short |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? |
title_full |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? |
title_fullStr |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? |
title_full_unstemmed |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? |
title_sort |
Las máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma? |
dc.creator.fl_str_mv |
Barchini, Graciela Elisa |
dc.contributor.author.none.fl_str_mv |
Barchini, Graciela Elisa |
dc.subject.none.fl_str_mv |
Máquina de Turing Computación Interactiva Algoritmo Computabilidad Tesis de Church-Turing |
topic |
Máquina de Turing Computación Interactiva Algoritmo Computabilidad Tesis de Church-Turing Turing machine Interactive Computing Algorithm Computability Church-Turing thesis Technological innovations Computer's science Technological development Systems Engineer Research Technology of the information and communication Innovaciones tecnológicas Ciencias de la computación Desarrollo tecnológico Ingeniero de sistemas Investigación Tecnologías de la información y la comunicación Máquina de turing Computación interactiva Algoritmo Computabilidad Tesis de church-turing |
dc.subject.keywords.eng.fl_str_mv |
Turing machine Interactive Computing Algorithm Computability Church-Turing thesis Technological innovations Computer's science Technological development Systems Engineer Research Technology of the information and communication |
dc.subject.lemb.spa.fl_str_mv |
Innovaciones tecnológicas Ciencias de la computación Desarrollo tecnológico Ingeniero de sistemas Investigación Tecnologías de la información y la comunicación |
dc.subject.proposal.spa.fl_str_mv |
Máquina de turing Computación interactiva Algoritmo Computabilidad Tesis de church-turing |
description |
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 paradigma emergente que refleja el cambio en la tecnología (redes de agentes inteligentes, interfaces de usuario gráficas, sistemas distribuidos, etc.). La computación interactiva involucra la comunicación con el ambiente durante la computación. Según muchos autores la interacción se basa en modelos que difieren de los modelos algorítmicos tradicionales. Es así como, en las últimas décadas han surgido trabajos que cuestionan los pilares de la teoría de la computabilidad. La cuestión que crece es, si la noción de computación como se entiende todavía puede describirse adecuadamente por ellos. La finalidad de este artículo es presentar cuatro propuestas que se realizaron para abordar la crisis paradigmática por la que está pasando la teoría de la computabilidad, determinar la vigencia de la MT como modelo para cualquier tipo de computación y proporcionar argumentos que permitan establecer si la tesis de Church-Turing es aplicable a la computación interactiva. |
publishDate |
2009 |
dc.date.issued.none.fl_str_mv |
2009-06-01 |
dc.date.accessioned.none.fl_str_mv |
2020-10-27T00:20:48Z |
dc.date.available.none.fl_str_mv |
2020-10-27T00:20:48Z |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.local.spa.fl_str_mv |
Artículo |
dc.type.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
dc.type.redcol.none.fl_str_mv |
http://purl.org/redcol/resource_type/CJournalArticle |
format |
http://purl.org/coar/resource_type/c_7a1f |
dc.identifier.issn.none.fl_str_mv |
2539-2115 1657-2831 |
dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/20.500.12749/8972 |
dc.identifier.instname.spa.fl_str_mv |
instname:Universidad Autónoma de Bucaramanga UNAB |
dc.identifier.repourl.none.fl_str_mv |
repourl:https://repository.unab.edu.co |
identifier_str_mv |
2539-2115 1657-2831 instname:Universidad Autónoma de Bucaramanga UNAB repourl:https://repository.unab.edu.co |
url |
http://hdl.handle.net/20.500.12749/8972 |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
https://revistas.unab.edu.co/index.php/rcc/article/view/1134/1104 |
dc.relation.uri.none.fl_str_mv |
https://revistas.unab.edu.co/index.php/rcc/article/view/1134 |
dc.relation.references.none.fl_str_mv |
S. Anand Bhupinder. “Can Turing machines capture everything we can compute?”. Disponible en URL<http://arxiv.org/ftp/ math/papers/0304/0304379.pdf >.[Consultada en mayo de 2007]. G. Barchini. “Informática. Una disciplina bio-psico-socio-tecnocultural”. Revista Ingeniería Informática. La Revista Electrónica del DIICC. ISSN : 0717 – 4195. Edición Número 12. Abril 2007. Disponible en URL: <http:// www.inf.udec.cl/revista>. A. Blass and Y. Gurevich. “Algorithms: A Quest for Absolute Definitions," Bull. Euro. Assoc. for Theor. Computer Science Number 81, October 2003, pages 195{225. Disponible en URL< http://research.microsoft.com/~ gurevich/Opera/164.pdf>. [Consultada en marzo de 2007]. B. J. Copeland and R. Sylvan. “Beyond the Universal Turing Machine”. Australasian Journal of Philosophy, 77:46-66, 1999. E. Eberbach; D. Goldin and P. Wegner. “Turing's Ideas and Models of Computation”. Disponible en URL: <http://www. cse. uconn.edu/%7Edqg/papers /turing04 .pdf>.[Consultada en septiembre de 2007]. D. Goldin; S. Smolka and P. Wegner. “Interactive Computing: A New Paradigm”. Springer Verlag, Heidelberg, 2006. D. Goldin. “ Interaction: Conjectures, Results, Myths”. Disponible en URL:<http://www.cse.uconn.edu/%7Edqg/ papers/ #interaction >. [Consultada en marzo de 2007]. D. Goldin and P. Wegner. “The Church-Turing Thesis: Breaking the Myth”. Disponible en URL: <http://www.cse.uconn.edu/%7 Edqg/papers/ cie05.pdf>. [Consultada en marzo de 2007]. D. Goldin and P. Wegner. “Principles of Interactive Computation”. Disponible en URL< http://www.springer.com/ cda/content/document.pdf >. [Consultada en septiembre de 2007]. Y. Gurevich. “Sequential Abstract-State Machines-Capture Sequential Algorithms”. ACM Transactions on Computational Logic, Vol. 1, No. 1, July 2000, Pages 77–111. Y. Gurevich. “Interactive Algorithms 2005 with Added Appendix” Proceedings of the 2005 conference on Mathematical Foundations of Computer Science, Springer Lecture. Disponible en: http://research.microsoft.com/~gurevich/Opera/174.pdf>. [Consultada en marzo de 2007] C. Gutiérrez. “Epistemología de la Informática”. Editorial UNED. Costa Rica, 1993. J. van Leeuwen and J. Wiedermann. “The Turing Machine Paradigm in Contemporary Computing”. Disponible en URL< http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000- 33.pdf>. [Consultada en septiembre de 2007]. R. Milner. “Elements of interaction: 1991 Turing award lecture”. Commun. ACM 36, 1 (Jan. 1993), 78–89. R. Milner. “Turing, Computing and Communication”. Octubre 1997. Disponible en URL< http://www.fairdene.com/picalculus/ milner-infomatics.pdf >. [Consultada en marzo de 2007]. T. Ord. “Hypercomputation: computing more than the Turing machine”. Disponible en URL< http://arxiv.org/ftp/math/papers/ 0209/0209332.pdf>. [Consultada en septiembre de 2007]. T. Ord. “The many forms of hypercomputation”. Applied Mathematics and Computation 178 (2006) 143–153. Disponible en URL<http://www. amirror clear. net/academic/papers/manyforms.pdf >. [Consultada en mayo de 2007]. M. Prasse and P. Rittgen. “Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability”. Disponible en URL< http://www. adm .hb.se/~pri/cj98.pdf>. [Consultada en septiembre de 2007]. A. M. Turing. “On computable numbers, with an application to the Entscheidungsproblem”. Proceedings of London Mathematical Society, series 2, vol. 42 (1936–1937), 230–265; correction, ibidem, vol. 43, 544–546. Reprinted in [13, 155–222]. Disponible en URL< http://www.abelard.org/turpap2/tp2- ie.asp.>. [Consultada en septiembre de 2007]. A. M. Turing. “Computing machinery and intelligence”. Mind, 59, 433-460. Disponible en URL<http://www.loebner.net/ Prizef/Turing Article .html>. [Consultada en octubre de 2007]. A. M. Turing. “Systems of Logic Based on the Ordinals”. Proceedings of the London Mathematical Society, 45:161-228, 1939. P. Wegner. “Why Interaction is More Powerful than Algorithms", Communications of ACM, May 1997, 81-91. Disponible en URL< http://portal.acm.org/citation.cfm?id =253801&coll= portal&dl=ACM>. [Consultada en septiembre de 2007]. P. Wegner and D. Goldin. “Computation Beyond Turing Machines”. Communications of the ACM, 46 (4) 2003. P. Wegner and D. Goldin. “Interaction, Computability, and Church's Thesis”. Disponible en URL< http://www.cs. brown.edu/people/pw/papers/bcj1.pdf>. [Consultada en septiembre de 2007]. |
dc.rights.none.fl_str_mv |
Derechos de autor 2009 Revista Colombiana de Computación |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
dc.rights.uri.none.fl_str_mv |
rpardo http://creativecommons.org/licenses/by-nc-nd/2.5/co/ |
dc.rights.creativecommons.*.fl_str_mv |
Atribución-NoComercial-SinDerivadas 2.5 Colombia |
rights_invalid_str_mv |
Derechos de autor 2009 Revista Colombiana de Computación http://creativecommons.org/licenses/by-nc-sa/4.0/ rpardo http://creativecommons.org/licenses/by-nc-nd/2.5/co/ Atribución-NoComercial-SinDerivadas 2.5 Colombia http://purl.org/coar/access_right/c_abf2 |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad Autónoma de Bucaramanga UNAB |
publisher.none.fl_str_mv |
Universidad Autónoma de Bucaramanga UNAB |
dc.source.none.fl_str_mv |
Revista Colombiana de Computación; Vol. 10 Núm. 1 (2009): Revista Colombiana de Computación; 7-25 |
institution |
Universidad Autónoma de Bucaramanga - UNAB |
bitstream.url.fl_str_mv |
https://repository.unab.edu.co/bitstream/20.500.12749/8972/2/2009_Articulo_Las%20m%c3%a1quinas%20de%20Turing%20como%20modelo%20general%20de%20la%20computacion%c2%bfHacia%20un%20cambio%20de%20paradigma.pdf.jpg https://repository.unab.edu.co/bitstream/20.500.12749/8972/1/2009_Articulo_Las%20m%c3%a1quinas%20de%20Turing%20como%20modelo%20general%20de%20la%20computacion%c2%bfHacia%20un%20cambio%20de%20paradigma.pdf |
bitstream.checksum.fl_str_mv |
07f48cc372e4368649602d232abc8cd3 6b0d0ff74a36988bdb4c9083319e3115 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional | Universidad Autónoma de Bucaramanga - UNAB |
repository.mail.fl_str_mv |
repositorio@unab.edu.co |
_version_ |
1814277788817948672 |
spelling |
Barchini, Graciela Elisab0bd4169-f984-4bea-aa2e-b9d2e5f62dce3002020-10-27T00:20:48Z2020-10-27T00:20:48Z2009-06-012539-21151657-2831http://hdl.handle.net/20.500.12749/8972instname:Universidad Autónoma de Bucaramanga UNABrepourl:https://repository.unab.edu.coLa 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 paradigma emergente que refleja el cambio en la tecnología (redes de agentes inteligentes, interfaces de usuario gráficas, sistemas distribuidos, etc.). La computación interactiva involucra la comunicación con el ambiente durante la computación. Según muchos autores la interacción se basa en modelos que difieren de los modelos algorítmicos tradicionales. Es así como, en las últimas décadas han surgido trabajos que cuestionan los pilares de la teoría de la computabilidad. La cuestión que crece es, si la noción de computación como se entiende todavía puede describirse adecuadamente por ellos. La finalidad de este artículo es presentar cuatro propuestas que se realizaron para abordar la crisis paradigmática por la que está pasando la teoría de la computabilidad, determinar la vigencia de la MT como modelo para cualquier tipo de computación y proporcionar argumentos que permitan establecer si la tesis de Church-Turing es aplicable a la computación interactiva.The theory of computability is currently based on the paradigm of Turing machines, recursive functions and the Church-Turing thesis. The Turing's model captures the intuitive notion of what is algorithmically computable in a broad sense. Interaction is an emerging paradigm that reflects the change in technology (networks of intelligent agents, user interfaces graphics, distributed systems, etc.). Interactive computing involves communication with the environment during computation. According to many authors the interaction is based on models that differ from algorithmic models traditional. This is how, in the last decades, works have emerged that question the pillars of computability theory. The question that grows is, if the notion of computation as understood can still be adequately described for them. The purpose of this article is to present four proposals that are carried out to address the paradigmatic crisis that the theory of computability, determine the validity of the MT as a model for any type of computation and provide arguments to establish whether the thesis of Church-Turing is applicable to interactive computing.application/pdfspaUniversidad Autónoma de Bucaramanga UNABhttps://revistas.unab.edu.co/index.php/rcc/article/view/1134/1104https://revistas.unab.edu.co/index.php/rcc/article/view/1134S. Anand Bhupinder. “Can Turing machines capture everything we can compute?”. Disponible en URL<http://arxiv.org/ftp/ math/papers/0304/0304379.pdf >.[Consultada en mayo de 2007].G. Barchini. “Informática. Una disciplina bio-psico-socio-tecnocultural”. Revista Ingeniería Informática. La Revista Electrónica del DIICC. ISSN : 0717 – 4195. Edición Número 12. Abril 2007. Disponible en URL: <http:// www.inf.udec.cl/revista>.A. Blass and Y. Gurevich. “Algorithms: A Quest for Absolute Definitions," Bull. Euro. Assoc. for Theor. Computer Science Number 81, October 2003, pages 195{225. Disponible en URL< http://research.microsoft.com/~ gurevich/Opera/164.pdf>. [Consultada en marzo de 2007].B. J. Copeland and R. Sylvan. “Beyond the Universal Turing Machine”. Australasian Journal of Philosophy, 77:46-66, 1999.E. Eberbach; D. Goldin and P. Wegner. “Turing's Ideas and Models of Computation”. Disponible en URL: <http://www. cse. uconn.edu/%7Edqg/papers /turing04 .pdf>.[Consultada en septiembre de 2007].D. Goldin; S. Smolka and P. Wegner. “Interactive Computing: A New Paradigm”. Springer Verlag, Heidelberg, 2006.D. Goldin. “ Interaction: Conjectures, Results, Myths”. Disponible en URL:<http://www.cse.uconn.edu/%7Edqg/ papers/ #interaction >. [Consultada en marzo de 2007].D. Goldin and P. Wegner. “The Church-Turing Thesis: Breaking the Myth”. Disponible en URL: <http://www.cse.uconn.edu/%7 Edqg/papers/ cie05.pdf>. [Consultada en marzo de 2007].D. Goldin and P. Wegner. “Principles of Interactive Computation”. Disponible en URL< http://www.springer.com/ cda/content/document.pdf >. [Consultada en septiembre de 2007].Y. Gurevich. “Sequential Abstract-State Machines-Capture Sequential Algorithms”. ACM Transactions on Computational Logic, Vol. 1, No. 1, July 2000, Pages 77–111.Y. Gurevich. “Interactive Algorithms 2005 with Added Appendix” Proceedings of the 2005 conference on Mathematical Foundations of Computer Science, Springer Lecture. Disponible en: http://research.microsoft.com/~gurevich/Opera/174.pdf>. [Consultada en marzo de 2007]C. Gutiérrez. “Epistemología de la Informática”. Editorial UNED. Costa Rica, 1993.J. van Leeuwen and J. Wiedermann. “The Turing Machine Paradigm in Contemporary Computing”. Disponible en URL< http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000- 33.pdf>. [Consultada en septiembre de 2007].R. Milner. “Elements of interaction: 1991 Turing award lecture”. Commun. ACM 36, 1 (Jan. 1993), 78–89.R. Milner. “Turing, Computing and Communication”. Octubre 1997. Disponible en URL< http://www.fairdene.com/picalculus/ milner-infomatics.pdf >. [Consultada en marzo de 2007].T. Ord. “Hypercomputation: computing more than the Turing machine”. Disponible en URL< http://arxiv.org/ftp/math/papers/ 0209/0209332.pdf>. [Consultada en septiembre de 2007].T. Ord. “The many forms of hypercomputation”. Applied Mathematics and Computation 178 (2006) 143–153. Disponible en URL<http://www. amirror clear. net/academic/papers/manyforms.pdf >. [Consultada en mayo de 2007].M. Prasse and P. Rittgen. “Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability”. Disponible en URL< http://www. adm .hb.se/~pri/cj98.pdf>. [Consultada en septiembre de 2007].A. M. Turing. “On computable numbers, with an application to the Entscheidungsproblem”. Proceedings of London Mathematical Society, series 2, vol. 42 (1936–1937), 230–265; correction, ibidem, vol. 43, 544–546. Reprinted in [13, 155–222]. Disponible en URL< http://www.abelard.org/turpap2/tp2- ie.asp.>. [Consultada en septiembre de 2007].A. M. Turing. “Computing machinery and intelligence”. Mind, 59, 433-460. Disponible en URL<http://www.loebner.net/ Prizef/Turing Article .html>. [Consultada en octubre de 2007].A. M. Turing. “Systems of Logic Based on the Ordinals”. Proceedings of the London Mathematical Society, 45:161-228, 1939.P. Wegner. “Why Interaction is More Powerful than Algorithms", Communications of ACM, May 1997, 81-91. Disponible en URL< http://portal.acm.org/citation.cfm?id =253801&coll= portal&dl=ACM>. [Consultada en septiembre de 2007].P. Wegner and D. Goldin. “Computation Beyond Turing Machines”. Communications of the ACM, 46 (4) 2003.P. Wegner and D. Goldin. “Interaction, Computability, and Church's Thesis”. Disponible en URL< http://www.cs. brown.edu/people/pw/papers/bcj1.pdf>. [Consultada en septiembre de 2007].Derechos de autor 2009 Revista Colombiana de Computaciónhttp://creativecommons.org/licenses/by-nc-sa/4.0/rpardohttp://creativecommons.org/licenses/by-nc-nd/2.5/co/Atribución-NoComercial-SinDerivadas 2.5 Colombiahttp://purl.org/coar/access_right/c_abf2Revista Colombiana de Computación; Vol. 10 Núm. 1 (2009): Revista Colombiana de Computación; 7-25Máquina de TuringComputación InteractivaAlgoritmoComputabilidadTesis de Church-TuringTuring machineInteractive ComputingAlgorithmComputabilityChurch-Turing thesisTechnological innovationsComputer's scienceTechnological developmentSystems EngineerResearchTechnology of the information and communicationInnovaciones tecnológicasCiencias de la computaciónDesarrollo tecnológicoIngeniero de sistemasInvestigaciónTecnologías de la información y la comunicaciónMáquina de turingComputación interactivaAlgoritmoComputabilidadTesis de church-turingLas máquinas de Turing como modelo general de la computación. ¿Hacia un cambio de paradigma?Turing machines as a general model of computing. Towards a paradigm shift?info:eu-repo/semantics/articleArtículohttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/redcol/resource_type/CJournalArticleTHUMBNAIL2009_Articulo_Las máquinas de Turing como modelo general de la computacion¿Hacia un cambio de paradigma.pdf.jpg2009_Articulo_Las máquinas de Turing como modelo general de la computacion¿Hacia un cambio de paradigma.pdf.jpgIM Thumbnailimage/jpeg11989https://repository.unab.edu.co/bitstream/20.500.12749/8972/2/2009_Articulo_Las%20m%c3%a1quinas%20de%20Turing%20como%20modelo%20general%20de%20la%20computacion%c2%bfHacia%20un%20cambio%20de%20paradigma.pdf.jpg07f48cc372e4368649602d232abc8cd3MD52open accessORIGINAL2009_Articulo_Las máquinas de Turing como modelo general de la computacion¿Hacia un cambio de paradigma.pdf2009_Articulo_Las máquinas de Turing como modelo general de la computacion¿Hacia un cambio de paradigma.pdfArtículoapplication/pdf423189https://repository.unab.edu.co/bitstream/20.500.12749/8972/1/2009_Articulo_Las%20m%c3%a1quinas%20de%20Turing%20como%20modelo%20general%20de%20la%20computacion%c2%bfHacia%20un%20cambio%20de%20paradigma.pdf6b0d0ff74a36988bdb4c9083319e3115MD51open access20.500.12749/8972oai:repository.unab.edu.co:20.500.12749/89722024-10-15 09:18:38.775open accessRepositorio Institucional | Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co |