Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.
Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica desde Leibniz hasta Turing del desarrollo de la noción de algoritmo. Se defin...
- Autores:
-
Castellanos Camargo, Cristian Camilo
Díaz Suárez, Yerson Libardo
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2015
- Institución:
- Universidad Pedagógica Nacional
- Repositorio:
- Repositorio Institucional UPN
- Idioma:
- spa
- OAI Identifier:
- oai:repository.pedagogica.edu.co:20.500.12209/2221
- Acceso en línea:
- http://hdl.handle.net/20.500.12209/2221
- Palabra clave:
- Lenguaje y problema de la parada
Problema indecidible
Automata
Algoritmo
Maquina de Turing
Entscheidungsproblem
- Rights
- License
- https://creativecommons.org/licenses/by-nc-nd/4.0/
| id |
RPEDAGO2_eaa1c33502e0c03b7474744552a4288d |
|---|---|
| oai_identifier_str |
oai:repository.pedagogica.edu.co:20.500.12209/2221 |
| network_acronym_str |
RPEDAGO2 |
| network_name_str |
Repositorio Institucional UPN |
| repository_id_str |
|
| dc.title.spa.fl_str_mv |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. |
| title |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. |
| spellingShingle |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. Lenguaje y problema de la parada Problema indecidible Automata Algoritmo Maquina de Turing Entscheidungsproblem |
| title_short |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. |
| title_full |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. |
| title_fullStr |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. |
| title_full_unstemmed |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. |
| title_sort |
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing. |
| dc.creator.fl_str_mv |
Castellanos Camargo, Cristian Camilo Díaz Suárez, Yerson Libardo |
| dc.contributor.advisor.spa.fl_str_mv |
Páez Ortegón, Jorge Edgar |
| dc.contributor.author.spa.fl_str_mv |
Castellanos Camargo, Cristian Camilo Díaz Suárez, Yerson Libardo |
| dc.subject.spa.fl_str_mv |
Lenguaje y problema de la parada Problema indecidible Automata Algoritmo Maquina de Turing Entscheidungsproblem |
| topic |
Lenguaje y problema de la parada Problema indecidible Automata Algoritmo Maquina de Turing Entscheidungsproblem |
| description |
Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica desde Leibniz hasta Turing del desarrollo de la noción de algoritmo. Se definen y clasifican los autómatas finitos para entender el funcionamiento, definición, caracterización y simulación de las Máquinas de Turing, con el fin de reconocer los lenguajes recursivamente enumerables que son recursivos, los cuales son equivalentes a una definición de decibilidad y serán de gran importancia para la aproximación a la demostración del Entscheidungsproblem. |
| publishDate |
2015 |
| dc.date.issued.none.fl_str_mv |
2015 |
| dc.date.accessioned.none.fl_str_mv |
2016-09-06T16:13:39Z 2017-12-12T21:57:27Z |
| dc.date.available.none.fl_str_mv |
2016-09-06T16:13:39Z 2017-12-12T21:57:27Z |
| dc.type.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.local.spa.fl_str_mv |
Tesis/Trabajo de grado - Monografía – Pregrado |
| dc.type.coar.eng.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.driver.eng.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.version.eng.fl_str_mv |
info:eu-repo/semantics/acceptedVersion |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| status_str |
acceptedVersion |
| dc.identifier.other.none.fl_str_mv |
TE-17797 |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/20.500.12209/2221 |
| dc.identifier.instname.spa.fl_str_mv |
instname:Universidad Pedagógica Nacional instname:Universidad Pedagógica Nacional |
| dc.identifier.reponame.spa.fl_str_mv |
reponame: Repositorio Institucional UPN |
| dc.identifier.repourl.none.fl_str_mv |
repourl: http://repositorio.pedagogica.edu.co/ |
| identifier_str_mv |
TE-17797 instname:Universidad Pedagógica Nacional reponame: Repositorio Institucional UPN repourl: http://repositorio.pedagogica.edu.co/ |
| url |
http://hdl.handle.net/20.500.12209/2221 |
| dc.language.iso.none.fl_str_mv |
spa |
| language |
spa |
| dc.relation.references.spa.fl_str_mv |
Apostol, T. (2001). Calculus (Segunda edición, Vols. 1-2, Vol. 2). Barcelona: Reverté. Beuchot, M. (1986). La conceptografía y la lógica formal de Frege. Revista Elementos, Ciencia y Cultura, 2(9), 70-75. Beuchot, M. (2008). Introducción a la lógica. México, D.F: UNAM. Beuchot, M. (2011). Manual de Filosofía. México, D.F: Ediciones Paulinas. Cadevall, S. (1976). Decibilidad de la Lógica de Predicados Monádicos por el Método de la Recusación. Teorema: Revista Internacional de Filosofía, 6(3-4), 455-484. Davis, M. (2002). La computadora universal. De Leibniz a Turing. Barcelona: Debate. De Castro, R. (2004). Teoría de la computación. Lenguajes, autómatas, gramáticas (Primera edición). Bogotá: Universidad Nacional de Colombia. Gallardo, D., Arques, P., & Lesta, I. (2003). Introducción a la teoría de la computabilidad (Segunda Edición). Alicante: Publicaciones Universidad de Alicante. García, L., & Martínez, G. (2005). Apuntes de Teoría de Autómatas y lenguajes formales. Recuperado a partir de http://repositori.uji.es/xmlui/handle/10234/5995?localeattribute=es Hernández, F., & Morado, R. (2007). Hilbert, Turing y la Noción de Procedimiento Efectivo. En Sociedad y ciencia (pp. 313-320). México D.F: Siglo XXI editores. Martínez, P. (1985). El origen histórico de la lógica matemática: Boole. Thémata: Revista de filosofía, (2), 87 - 98. Meléndez, R. (1992). Observaciones sobre la demostración de Gödel. En P. Gómez & C. Gómez, Sistemas Formales, informalmente ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? (Segunda edición, pp. 109-111). Bogotá: Una empresa docente/Universidad de los Andes. Recuperado a partir de http://funes.uniandes.edu.co/668/1/Gomez1999Sistemas.pdf Muñoz, J. (2002). Introducción a la teoría de conjuntos (Cuarta edición). Bogotá: Universidad Nacional de Colombia. Navarrete, I., Cárdenas, M., Sánchez, D., Botía, J., Marín, R., & Martínez, R. (2003). Teoría de autómatas y lenguajes formales. Universidad de Murcia. Recuperado a partir de http://tux.uis.edu.co/lenguajes/doc/Murcia.pdf Pérez, J., & Caparrini, F. (2003). Máquinas moleculares basadas en ADN. Universidad de Sevilla. Wise, H. (1996). Breaking the Code. Documental, biografía, British Broadcasting Corporation (BBC). Recuperado a partir de https://www.youtube.com/watch?v=S23yie-779k |
| dc.relation.references.eng.fl_str_mv |
Boole, G. (1854). An Investigation of the Laws of Thought: On which are Founded the Mathematical Theories of Logic and Probabilities. New York: Dover Publications. Holcombe, M. (1982). Algebraic Automata Theory. Cambridge University Press. |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.uri.none.fl_str_mv |
https://creativecommons.org/licenses/by-nc-nd/4.0/ |
| dc.rights.access.spa.fl_str_mv |
Acceso abierto |
| dc.rights.creativecommons.none.fl_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-nd/4.0/ Acceso abierto Attribution-NonCommercial-NoDerivatives 4.0 International http://purl.org/coar/access_right/c_abf2 |
| dc.format.spa.fl_str_mv |
PDF |
| dc.format.mimetype.spa.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Pedagógica Nacional |
| dc.publisher.program.spa.fl_str_mv |
Licenciatura en Matemáticas |
| dc.publisher.faculty.spa.fl_str_mv |
Facultad de Ciencia y Tecnología |
| dc.source.spa.fl_str_mv |
reponame:Repositorio Institucional de la Universidad Pedagógica Nacional instname:Universidad Pedagógica Nacional |
| instname_str |
Universidad Pedagógica Nacional |
| institution |
Universidad Pedagógica Nacional |
| reponame_str |
Repositorio Institucional de la Universidad Pedagógica Nacional |
| collection |
Repositorio Institucional de la Universidad Pedagógica Nacional |
| bitstream.url.fl_str_mv |
http://repository.pedagogica.edu.co/bitstream/20.500.12209/2221/1/TE-17797.pdf http://repository.pedagogica.edu.co/bitstream/20.500.12209/2221/2/TE-17797.pdf.jpg |
| bitstream.checksum.fl_str_mv |
fcd72c414ee64e55dabdd956c90aa526 3604e47e095685f7975a95d100d487c3 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad Pedagógica Nacional |
| repository.mail.fl_str_mv |
repositorio@pedagogica.edu.co |
| _version_ |
1814444814374010880 |
| spelling |
Páez Ortegón, Jorge EdgarCastellanos Camargo, Cristian CamiloDíaz Suárez, Yerson Libardo2016-09-06T16:13:39Z2017-12-12T21:57:27Z2016-09-06T16:13:39Z2017-12-12T21:57:27Z2015TE-17797http://hdl.handle.net/20.500.12209/2221instname:Universidad Pedagógica Nacionalinstname:Universidad Pedagógica Nacionalreponame: Repositorio Institucional UPNrepourl: http://repositorio.pedagogica.edu.co/Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica desde Leibniz hasta Turing del desarrollo de la noción de algoritmo. Se definen y clasifican los autómatas finitos para entender el funcionamiento, definición, caracterización y simulación de las Máquinas de Turing, con el fin de reconocer los lenguajes recursivamente enumerables que son recursivos, los cuales son equivalentes a una definición de decibilidad y serán de gran importancia para la aproximación a la demostración del Entscheidungsproblem.Submitted by Yolanda Benavides (ybenavides@pedagogica.edu.co) on 2016-08-31T13:36:03Z No. of bitstreams: 1 TE-17797.pdf: 2505639 bytes, checksum: fcd72c414ee64e55dabdd956c90aa526 (MD5)Approved for entry into archive by UPN Biblioteca (repositoriobiblioteca@pedagogica.edu.co) on 2016-09-06T16:13:39Z (GMT) No. of bitstreams: 1 TE-17797.pdf: 2505639 bytes, checksum: fcd72c414ee64e55dabdd956c90aa526 (MD5)Made available in DSpace on 2016-09-06T16:13:39Z (GMT). No. of bitstreams: 1 TE-17797.pdf: 2505639 bytes, checksum: fcd72c414ee64e55dabdd956c90aa526 (MD5) Previous issue date: 2015Made available in DSpace on 2017-12-12T21:57:27Z (GMT). No. of bitstreams: 1 TE-17797.pdf: 2505639 bytes, checksum: fcd72c414ee64e55dabdd956c90aa526 (MD5) Previous issue date: 2015Licenciado en MatemáticasTesis de pregradoPDFapplication/pdfspaUniversidad Pedagógica NacionalLicenciatura en MatemáticasFacultad de Ciencia y Tecnologíahttps://creativecommons.org/licenses/by-nc-nd/4.0/Acceso abiertoAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2reponame:Repositorio Institucional de la Universidad Pedagógica Nacionalinstname:Universidad Pedagógica NacionalLenguaje y problema de la paradaProblema indecidibleAutomataAlgoritmoMaquina de TuringEntscheidungsproblemAproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.info:eu-repo/semantics/bachelorThesisTesis/Trabajo de grado - Monografía – Pregradohttp://purl.org/coar/resource_type/c_7a1finfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionApostol, T. (2001). Calculus (Segunda edición, Vols. 1-2, Vol. 2). Barcelona: Reverté.Beuchot, M. (1986). La conceptografía y la lógica formal de Frege. Revista Elementos, Ciencia y Cultura, 2(9), 70-75.Beuchot, M. (2008). Introducción a la lógica. México, D.F: UNAM.Beuchot, M. (2011). Manual de Filosofía. México, D.F: Ediciones Paulinas.Cadevall, S. (1976). Decibilidad de la Lógica de Predicados Monádicos por el Método de la Recusación. Teorema: Revista Internacional de Filosofía, 6(3-4), 455-484.Davis, M. (2002). La computadora universal. De Leibniz a Turing. Barcelona: Debate.De Castro, R. (2004). Teoría de la computación. Lenguajes, autómatas, gramáticas (Primera edición). Bogotá: Universidad Nacional de Colombia.Gallardo, D., Arques, P., & Lesta, I. (2003). Introducción a la teoría de la computabilidad (Segunda Edición). Alicante: Publicaciones Universidad de Alicante.García, L., & Martínez, G. (2005). Apuntes de Teoría de Autómatas y lenguajes formales. Recuperado a partir de http://repositori.uji.es/xmlui/handle/10234/5995?localeattribute=esHernández, F., & Morado, R. (2007). Hilbert, Turing y la Noción de Procedimiento Efectivo. En Sociedad y ciencia (pp. 313-320). México D.F: Siglo XXI editores.Martínez, P. (1985). El origen histórico de la lógica matemática: Boole. Thémata: Revista de filosofía, (2), 87 - 98.Meléndez, R. (1992). Observaciones sobre la demostración de Gödel. En P. Gómez & C. Gómez, Sistemas Formales, informalmente ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? (Segunda edición, pp. 109-111). Bogotá: Una empresa docente/Universidad de los Andes. Recuperado a partir de http://funes.uniandes.edu.co/668/1/Gomez1999Sistemas.pdfMuñoz, J. (2002). Introducción a la teoría de conjuntos (Cuarta edición). Bogotá: Universidad Nacional de Colombia.Navarrete, I., Cárdenas, M., Sánchez, D., Botía, J., Marín, R., & Martínez, R. (2003). Teoría de autómatas y lenguajes formales. Universidad de Murcia. Recuperado a partir de http://tux.uis.edu.co/lenguajes/doc/Murcia.pdfPérez, J., & Caparrini, F. (2003). Máquinas moleculares basadas en ADN. Universidad de Sevilla.Wise, H. (1996). Breaking the Code. Documental, biografía, British Broadcasting Corporation (BBC). Recuperado a partir de https://www.youtube.com/watch?v=S23yie-779kBoole, G. (1854). An Investigation of the Laws of Thought: On which are Founded the Mathematical Theories of Logic and Probabilities. New York: Dover Publications.Holcombe, M. (1982). Algebraic Automata Theory. Cambridge University Press.Algoritmos - Calculo matemáticoLógica matemáticaComputadores - HistoriaORIGINALTE-17797.pdfapplication/pdf2505639http://repository.pedagogica.edu.co/bitstream/20.500.12209/2221/1/TE-17797.pdffcd72c414ee64e55dabdd956c90aa526MD51THUMBNAILTE-17797.pdf.jpgTE-17797.pdf.jpgIM Thumbnailimage/jpeg5329http://repository.pedagogica.edu.co/bitstream/20.500.12209/2221/2/TE-17797.pdf.jpg3604e47e095685f7975a95d100d487c3MD5220.500.12209/2221oai:repository.pedagogica.edu.co:20.500.12209/22212021-07-16 12:04:50.406Repositorio Institucional Universidad Pedagógica Nacionalrepositorio@pedagogica.edu.co |