Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Máquinas de Turing
(𝑞1 , 100111)
191
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
escritora. Esta última se indica subrayando la correspondiente
posición.
192
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
La máquina funciona ejecutando el siguiente ciclo.
No hay ninguna transición que comience por 𝛿(𝑞3 , 0), por lo que la
máquina se detiene.
193
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
Puede observarse que lo que ha realizado la máquina es sumar 1 en
binario.
( q1 , a ) = ( q1 , a , R )
( q1 , b ) = ( q 2 , a , R )
( q2 , a ) = ( q2 , a , R )
( q2 , b ) = ( q2 , b , R )
( q2 , B ) = ( q3 , B , L )
Configuración
( q1 , ababb )
A. ( q 3 , aaabb )
Copyright © 2010. Ediciones Elizcom. All rights reserved.
B. ( q 3 , aaaaa )
C. ( q 3 , aaabb )
D. ( q 3 , aaabb )
E. ( q 3 , aaaaa )
Respuesta: A
194
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
Ejercicios
Función de transición:
(q1 , a) (q1 , a, R)
(q1 , b) (q1 , b, R)
(q1 , B) (q 2 , B, L)
Función de transición:
(q1 , a) (q1 , a, R)
(q1 , b) (q1 , b, L)
( q3 , aaaaaa).
195
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
5) Construya una máquina de Turing que junte dos cadenas de unos
separadas por un espacio. Por ejemplo, si la descripción
instantánea inicial es
( q1 , 1111B111111)
( q 4 , 1111111111)
Copyright © 2010. Ediciones Elizcom. All rights reserved.
196
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
7. Bibliografía
197
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
Nacional Autónoma de Méjico, 2008. Disponible en Internet: <URL:
http://books.google.es/books?id=NXQE8NJw9d4C&source=gbs_navli
nks_s>
msky&source=gbs_navlinks_s>
198
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.
Copyright © 2010. Ediciones Elizcom. All rights reserved.
Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes formales, Ediciones Elizcom, 2010. ProQuest Ebook
Central, http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199845.
Created from unadsp on 2018-04-26 07:38:18.