Por favor, use este identificador para citar o enlazar este ítem:
http://repositorio.usfq.edu.ec/handle/23000/14173Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.contributor.advisor | Skukalek, John, dir. | - |
| dc.contributor.author | Vásconez Núñez, Adrian Camilo | - |
| dc.date.accessioned | 2025-04-14T19:23:25Z | - |
| dc.date.available | 2025-04-14T19:23:25Z | - |
| dc.date.issued | 2024-12-16 | - |
| dc.identifier.uri | http://repositorio.usfq.edu.ec/handle/23000/14173 | - |
| dc.description | In this work, we present an accessible treatment of computability theory and its application to the word problem for semigroups. We develop the fundamentals of Turing machines and computability, culminating in the undecidability of the halting problem. Using this framework, we demonstrate the undecidability of the word problem for semigroups, thus building a natural bridge between computability theory and abstract algebra... | es_ES |
| dc.description.abstract | En este trabajo presentamos un tratamiento accesible de la teoría de la computabilidad y de su aplicación al problema de la palabra en semigrupos. Desarrollamos los fundamentos de las máquinas de Turing y la computabilidad, culminando en la no decidibilidad del problema de la parada. Utilizando este marco teórico, demostramos la no decidibilidad del problema de la palabra en semigrupos, proporcionando un puente natural entre la teoría de la computabilidad y el álgebra abstracta... | es_ES |
| dc.format.extent | 61 h. | es_ES |
| dc.language.iso | spa | es_ES |
| dc.publisher | Quito | es_ES |
| dc.rights | openAccess | es_ES |
| dc.rights | Atribución-NoComercial-SinDerivadas 3.0 Ecuador | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/ec/ | * |
| dc.subject | Teoría de conjuntos - Análisis matemático - Tesis y disertaciones académicas. | es_ES |
| dc.subject.other | Ciencias | es_ES |
| dc.subject.other | Matemáticas | es_ES |
| dc.title | Decidability and Semigroups : Undecidability of the Word Problem for Semigroups | es_ES |
| dc.type | bachelorThesis | es_ES |
| Aparece en las colecciones: | Tesis - Ingeniería en Matemáticas Aplicadas y Computación (MAC) | |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 208899.pdf | Texto completo | 275.41 kB | Adobe PDF |  Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
