Usted está aquí: Inicio Ingeniería Informática Teoría de Autómatas y Lenguajes Formales Material de clase Tema 7: Máquinas de Turing

Tema 7: Máquinas de Turing

Acciones de Documento
  • Marcadores (bookmarks)
Autores: Araceli Sanchis de Miguel, Agapito Ledezma Espino, José A. Iglesias Martínez, Beatriz García Jiménez, Juan Manuel Alonso Weber
En este tema se define el concepto de Máquina de Turing así como su funcionamiento. En primer lugar se analiza el funcionamiento de las Máquinas de Turing con cualquier tipo de alfabeto para, posteriormente, reducir el funcionamiento general a máquinas que simplifican alguno de los aspectos de la Máquina de Turing. De esta manera se definen las máquinas binarias, con cinta limitada y con movimientos restringidos. A continuación, se analizan dos tipos de Máquinas de Turing, localizadora y transcriptora, que constituyen el fundamento de la Máquina de Turing Universal. A partir del concepto de Máquina de Turing Universal se discuten las capacidades de la Máquina de Turing, por un lado en su relación con los lenguajes y por otro con el problema de la indecidibilidad.

Tema7_UC3M_TALF-SANCHIS-LEDEZMA-IGLESIAS-JIMENEZ-ALONSO.pdf — PDF document, 1104 kB (1130708 bytes)

Reutilizar Curso
Descargar este curso