Por favor, use este identificador para citar o enlazar este ítem:
http://repositorio.usfq.edu.ec/handle/23000/14173| Tipo de material: | bachelorThesis |
| Título : | Decidability and Semigroups : Undecidability of the Word Problem for Semigroups |
| Autor : | Vásconez Núñez, Adrian Camilo |
| Director de Tesis : | Skukalek, John, dir. |
| Descriptores : | Teoría de conjuntos - Análisis matemático - Tesis y disertaciones académicas. |
| Fecha de publicación : | 16-dic-2024 |
| Editorial : | Quito |
| Páginas : | 61 h. |
| Acceso: | openAccess Atribución-NoComercial-SinDerivadas 3.0 Ecuador |
| Resumen : | 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... |
| Descripción : | 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... |
| URI : | http://repositorio.usfq.edu.ec/handle/23000/14173 |
| 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
