SlideShare uma empresa Scribd logo
1 de 5
Baixar para ler offline
Universidad Fermín Toro
Vice-rectorado Académico
Facultad de Ingeniería
Escuela de Computación
MAQUINAS DE TURING
Autor: Wilcar A. Rojas
C.I: 13.313.297
Cabudare, Julio 2013
Construcción modular de las Máquinas de Turing
Las máquinas de Turing se pueden representar mediante grafos particulares,
también llamados diagramas de estados finitos, de la siguiente manera:
Esta Máquina de Turing está definido sobre el alfabeto Σ={a,b,c}, posee el
conjunto de estados Q={qo,q1,q2,q3,q4,q5,q6}, con las transiciones que se
pueden ver. Su estado inicial es q1 y el estado final es q2, el lenguaje de
salida
={X,Y,Z,B} siendo B el símbolo denominado Blanco . Esta Máquina reconoce
la expresión regular de la forma {a^n b^n c^n,n>=0} .
 Los estados se representan como vértices, etiquetados con su nombre
en el interior.
 Una transición desde un estado a otro, se representa mediante una
arista dirigida que une a estos vértices, y esta rotulada por símbolo
que lee el cabezal/símbolo que escribirá el cabezal, movimiento del
cabezal
 El estado inicial se caracteriza por tener una arista que llega a él,
proveniente de ningún otro vértice.
 El o los estados finales se representan mediante vértices que están
encerrados a su vez por otra circunferencia
 Descripción instantánea (DI).
Secuencia de la forma α1qα2 donde α1,α2 y . Describe la situación de una
MT La cinta contiene la cadena α1α2 seguida de infinitos blancos. El cabezal
señala el primer símbolo de α2. ejemplo:
Para la MT=({p,q},{0,1},{0,1,x}, δ,p,Δ,{q})
con las transiciones
δ(p,1)=(p,x,D)
δ(p,0)=(p,0,D)
δ(p,Δ)=(q,Δ,D)
Realizaremos la DI para la cinta 1011.
p1011ΔΔ.. → xp011ΔΔ.. → x0p11ΔΔ.. → x0xp1ΔΔ.. → x0xxpΔΔ.. →
x0xxqΔΔ..
Ejemplo
Definimos una máquina de Turing sobre el alfabeto {0,1}, donde 0
representa el símbolo blanco. La máquina comenzará su proceso situada
sobre un símbolo "1" de una serie. La máquina de Turing copiará el número
de símbolos "1" que encuentre hasta el primer blanco detrás de dicho
símbolo blanco. Es decir, situada sobre el 1 situado en el extremo izquierdo,
doblará el número de símbolos 1, con un 0 en medio. Así, si tenemos la
entrada "111" devolverá "1110111", con "1111" devolverá "111101111", y
sucesivamente.
El conjunto de estados es y el estado inicial es . La tabla que describe la
función de transición es la siguiente:
El funcionamiento de una computación de esta máquina se puede mostrar
con el siguiente ejemplo (en negrita se resalta la posición de la cabeza
lectora/escritora):
La máquina realiza su proceso por medio de un bucle, en el estado inicial
s1, reemplaza el primer 1 con un 0, y pasa al estado s2, con el que avanza
hacia la derecha, saltando los símbolos 1 hasta un 0 (que debe existir),
cuando lo encuentra pasa al estado s3, con este estado avanza saltando los
1 hasta encontrar otro 0 (la primera vez no habría ningún 1).
Una vez en el extremo derecho, añade un 1. Después comienza el proceso
de retorno; con s4 vuelve a la izquierda saltando los 1, cuando encuentra un
0 (en el medio de la secuencia), pasa a s5 que continúa a la izquierda
saltando los 1 hasta el 0 que se escribió al principio. Se reemplaza de nuevo
este 0 por 1, y pasa al símbolo siguiente, si es un 1, se pasa a otra iteración
del bucle, pasando al estado s1 de nuevo. Si es un símbolo 0, será el
símbolo central, con lo que la máquina se detiene al haber finalizado su
cómputo.

Mais conteúdo relacionado

Mais procurados

Derivación implícita
Derivación implícitaDerivación implícita
Derivación implícitaJulio Aguirre
 
Presentación funciones
Presentación funcionesPresentación funciones
Presentación funcionesamauryenciso2
 
Aaamarilis trabajo
Aaamarilis trabajoAaamarilis trabajo
Aaamarilis trabajoRomel Peña
 
Slideshare de Matematica
Slideshare de MatematicaSlideshare de Matematica
Slideshare de Matematicaruben_f12
 
Derivada Implicita
Derivada ImplicitaDerivada Implicita
Derivada Implicitakijaramillo
 
Derivación implícita,
Derivación implícita,Derivación implícita,
Derivación implícita,Pablo Perez
 
Presentacion cuadraticas
Presentacion cuadraticasPresentacion cuadraticas
Presentacion cuadraticasRamon Bayurk
 
Tipos de discontinuidad (3)
Tipos de discontinuidad (3)Tipos de discontinuidad (3)
Tipos de discontinuidad (3)Yazmin
 
Slideshare Serie de Taylor
Slideshare Serie de TaylorSlideshare Serie de Taylor
Slideshare Serie de TaylorJoseLopiccolo
 
Trabajo derivadas daniel vizcaya
Trabajo derivadas daniel vizcayaTrabajo derivadas daniel vizcaya
Trabajo derivadas daniel vizcayaDvizcaya28
 
Tipos de discontinuidad
Tipos de discontinuidadTipos de discontinuidad
Tipos de discontinuidadYazmin
 
Calculo diferencial (Granville)_EuroAmericano
Calculo diferencial (Granville)_EuroAmericanoCalculo diferencial (Granville)_EuroAmericano
Calculo diferencial (Granville)_EuroAmericanojosue alvarez
 

Mais procurados (20)

Derivación implícita
Derivación implícitaDerivación implícita
Derivación implícita
 
Presentación funciones
Presentación funcionesPresentación funciones
Presentación funciones
 
Funciones
FuncionesFunciones
Funciones
 
Derivación Iimplícita
Derivación Iimplícita Derivación Iimplícita
Derivación Iimplícita
 
capitulo#3
capitulo#3capitulo#3
capitulo#3
 
Aaamarilis trabajo
Aaamarilis trabajoAaamarilis trabajo
Aaamarilis trabajo
 
Análisis de Funciones Polinomiales
Análisis de Funciones PolinomialesAnálisis de Funciones Polinomiales
Análisis de Funciones Polinomiales
 
Slideshare de Matematica
Slideshare de MatematicaSlideshare de Matematica
Slideshare de Matematica
 
Derivada Implicita
Derivada ImplicitaDerivada Implicita
Derivada Implicita
 
Derivación implícita,
Derivación implícita,Derivación implícita,
Derivación implícita,
 
Revista digital
Revista digitalRevista digital
Revista digital
 
Presentacion cuadraticas
Presentacion cuadraticasPresentacion cuadraticas
Presentacion cuadraticas
 
Tipos de discontinuidad (3)
Tipos de discontinuidad (3)Tipos de discontinuidad (3)
Tipos de discontinuidad (3)
 
Método de la transformada inversa
Método de la transformada inversaMétodo de la transformada inversa
Método de la transformada inversa
 
Slideshare Serie de Taylor
Slideshare Serie de TaylorSlideshare Serie de Taylor
Slideshare Serie de Taylor
 
Trabajo derivadas daniel vizcaya
Trabajo derivadas daniel vizcayaTrabajo derivadas daniel vizcaya
Trabajo derivadas daniel vizcaya
 
Derivadas
DerivadasDerivadas
Derivadas
 
T matematica FMRA
T matematica FMRAT matematica FMRA
T matematica FMRA
 
Tipos de discontinuidad
Tipos de discontinuidadTipos de discontinuidad
Tipos de discontinuidad
 
Calculo diferencial (Granville)_EuroAmericano
Calculo diferencial (Granville)_EuroAmericanoCalculo diferencial (Granville)_EuroAmericano
Calculo diferencial (Granville)_EuroAmericano
 

Destaque

Tp2 folleto-bernasconi.pdf
Tp2 folleto-bernasconi.pdfTp2 folleto-bernasconi.pdf
Tp2 folleto-bernasconi.pdfAnnii Schmoker
 
Feliz hallowen
Feliz hallowenFeliz hallowen
Feliz hallowenyesid_1997
 
Diapostivas garra
Diapostivas garraDiapostivas garra
Diapostivas garralagarrita
 
Clase de derecho civi. derechos personalisimos
Clase de derecho civi. derechos personalisimosClase de derecho civi. derechos personalisimos
Clase de derecho civi. derechos personalisimoscborelli72
 
La carta a garcia con audio
La carta a garcia con audioLa carta a garcia con audio
La carta a garcia con audioalgopa2010
 
Presentación3
Presentación3Presentación3
Presentación3ritis12
 
Taller participativo: Programas de Aprendizaje Servicio (ApS)
Taller participativo: Programas de Aprendizaje Servicio (ApS)Taller participativo: Programas de Aprendizaje Servicio (ApS)
Taller participativo: Programas de Aprendizaje Servicio (ApS)Carlos Ruisánchez
 
Uso de las tic en el proceso de
Uso de las tic en el proceso deUso de las tic en el proceso de
Uso de las tic en el proceso deEducasurf
 
Presentación CarBel Telecom
Presentación CarBel TelecomPresentación CarBel Telecom
Presentación CarBel TelecomCarBel Telecom
 
Interencuentro 2011
Interencuentro 2011Interencuentro 2011
Interencuentro 2011marianapons
 
PRODUCTO A EXPORTAR
PRODUCTO A EXPORTARPRODUCTO A EXPORTAR
PRODUCTO A EXPORTARDavid Pabon
 

Destaque (20)

Tp2 folleto-bernasconi.pdf
Tp2 folleto-bernasconi.pdfTp2 folleto-bernasconi.pdf
Tp2 folleto-bernasconi.pdf
 
Presentación1
Presentación1Presentación1
Presentación1
 
Zooloco
ZoolocoZooloco
Zooloco
 
Joomla04
Joomla04Joomla04
Joomla04
 
Feliz hallowen
Feliz hallowenFeliz hallowen
Feliz hallowen
 
Diapostivas garra
Diapostivas garraDiapostivas garra
Diapostivas garra
 
Laly
LalyLaly
Laly
 
Autos hibridos
Autos hibridosAutos hibridos
Autos hibridos
 
Clase de derecho civi. derechos personalisimos
Clase de derecho civi. derechos personalisimosClase de derecho civi. derechos personalisimos
Clase de derecho civi. derechos personalisimos
 
La carta a garcia con audio
La carta a garcia con audioLa carta a garcia con audio
La carta a garcia con audio
 
El Cuento
El CuentoEl Cuento
El Cuento
 
Presentación3
Presentación3Presentación3
Presentación3
 
Historia del libro
Historia del libroHistoria del libro
Historia del libro
 
Taller participativo: Programas de Aprendizaje Servicio (ApS)
Taller participativo: Programas de Aprendizaje Servicio (ApS)Taller participativo: Programas de Aprendizaje Servicio (ApS)
Taller participativo: Programas de Aprendizaje Servicio (ApS)
 
Servicios web dha_2
Servicios web dha_2Servicios web dha_2
Servicios web dha_2
 
Uso de las tic en el proceso de
Uso de las tic en el proceso deUso de las tic en el proceso de
Uso de las tic en el proceso de
 
Presentación CarBel Telecom
Presentación CarBel TelecomPresentación CarBel Telecom
Presentación CarBel Telecom
 
Uso medios didácticos tarea 3
Uso medios didácticos   tarea 3Uso medios didácticos   tarea 3
Uso medios didácticos tarea 3
 
Interencuentro 2011
Interencuentro 2011Interencuentro 2011
Interencuentro 2011
 
PRODUCTO A EXPORTAR
PRODUCTO A EXPORTARPRODUCTO A EXPORTAR
PRODUCTO A EXPORTAR
 

Semelhante a Máquinas de Turing: Construcción modular y ejemplo de cómputo

Semelhante a Máquinas de Turing: Construcción modular y ejemplo de cómputo (20)

Componentes y Transicion Maquina de Turing
Componentes y Transicion Maquina de TuringComponentes y Transicion Maquina de Turing
Componentes y Transicion Maquina de Turing
 
Máquina de turing
Máquina de turingMáquina de turing
Máquina de turing
 
2
22
2
 
Presentacion 2 - Maquinas de Estado Finito
Presentacion 2 - Maquinas de Estado FinitoPresentacion 2 - Maquinas de Estado Finito
Presentacion 2 - Maquinas de Estado Finito
 
Maquina de turing
Maquina de turingMaquina de turing
Maquina de turing
 
Evaluación
EvaluaciónEvaluación
Evaluación
 
Mod auto 4
Mod auto 4Mod auto 4
Mod auto 4
 
Mod auto 4
Mod auto 4Mod auto 4
Mod auto 4
 
Modu saya 4
Modu saya 4Modu saya 4
Modu saya 4
 
Maquinas de estado finito mapa mental
Maquinas de estado finito mapa mentalMaquinas de estado finito mapa mental
Maquinas de estado finito mapa mental
 
Maquina de turing
Maquina de turingMaquina de turing
Maquina de turing
 
¿Qué es la máquina de turing y como funciona?
¿Qué es la máquina de turing y como funciona?¿Qué es la máquina de turing y como funciona?
¿Qué es la máquina de turing y como funciona?
 
Qué es la máquina de turing
Qué es la máquina de turingQué es la máquina de turing
Qué es la máquina de turing
 
Contadores (electronica)
Contadores (electronica)Contadores (electronica)
Contadores (electronica)
 
Expo flip flop
Expo flip flopExpo flip flop
Expo flip flop
 
Lenguajes Regulares.
Lenguajes Regulares.Lenguajes Regulares.
Lenguajes Regulares.
 
Maquina de turing
Maquina de turingMaquina de turing
Maquina de turing
 
Maquinas de Estado Finito
Maquinas de Estado FinitoMaquinas de Estado Finito
Maquinas de Estado Finito
 
Maquinas de Estado Finito
Maquinas de Estado FinitoMaquinas de Estado Finito
Maquinas de Estado Finito
 
Tema2
Tema2Tema2
Tema2
 

Mais de waralivt

Investigación Expositiva
Investigación ExpositivaInvestigación Expositiva
Investigación Expositivawaralivt
 
Wilcar rojas
Wilcar rojasWilcar rojas
Wilcar rojaswaralivt
 
Evaluación
EvaluaciónEvaluación
Evaluaciónwaralivt
 
Recursos disponibles
Recursos disponiblesRecursos disponibles
Recursos disponibleswaralivt
 
Maquinas de turing
Maquinas de turingMaquinas de turing
Maquinas de turingwaralivt
 
Lenguajes Formales y AF
Lenguajes Formales y AFLenguajes Formales y AF
Lenguajes Formales y AFwaralivt
 
Desarrollo estructurado
Desarrollo estructuradoDesarrollo estructurado
Desarrollo estructuradowaralivt
 
Desarrollo estructurado
Desarrollo estructuradoDesarrollo estructurado
Desarrollo estructuradowaralivt
 
ANALISIS NUMERICO
ANALISIS NUMERICOANALISIS NUMERICO
ANALISIS NUMERICOwaralivt
 
Arquitecturas
ArquitecturasArquitecturas
Arquitecturaswaralivt
 

Mais de waralivt (10)

Investigación Expositiva
Investigación ExpositivaInvestigación Expositiva
Investigación Expositiva
 
Wilcar rojas
Wilcar rojasWilcar rojas
Wilcar rojas
 
Evaluación
EvaluaciónEvaluación
Evaluación
 
Recursos disponibles
Recursos disponiblesRecursos disponibles
Recursos disponibles
 
Maquinas de turing
Maquinas de turingMaquinas de turing
Maquinas de turing
 
Lenguajes Formales y AF
Lenguajes Formales y AFLenguajes Formales y AF
Lenguajes Formales y AF
 
Desarrollo estructurado
Desarrollo estructuradoDesarrollo estructurado
Desarrollo estructurado
 
Desarrollo estructurado
Desarrollo estructuradoDesarrollo estructurado
Desarrollo estructurado
 
ANALISIS NUMERICO
ANALISIS NUMERICOANALISIS NUMERICO
ANALISIS NUMERICO
 
Arquitecturas
ArquitecturasArquitecturas
Arquitecturas
 

Máquinas de Turing: Construcción modular y ejemplo de cómputo

  • 1. Universidad Fermín Toro Vice-rectorado Académico Facultad de Ingeniería Escuela de Computación MAQUINAS DE TURING Autor: Wilcar A. Rojas C.I: 13.313.297 Cabudare, Julio 2013
  • 2. Construcción modular de las Máquinas de Turing Las máquinas de Turing se pueden representar mediante grafos particulares, también llamados diagramas de estados finitos, de la siguiente manera: Esta Máquina de Turing está definido sobre el alfabeto Σ={a,b,c}, posee el conjunto de estados Q={qo,q1,q2,q3,q4,q5,q6}, con las transiciones que se pueden ver. Su estado inicial es q1 y el estado final es q2, el lenguaje de salida ={X,Y,Z,B} siendo B el símbolo denominado Blanco . Esta Máquina reconoce la expresión regular de la forma {a^n b^n c^n,n>=0} .  Los estados se representan como vértices, etiquetados con su nombre en el interior.  Una transición desde un estado a otro, se representa mediante una arista dirigida que une a estos vértices, y esta rotulada por símbolo que lee el cabezal/símbolo que escribirá el cabezal, movimiento del cabezal
  • 3.  El estado inicial se caracteriza por tener una arista que llega a él, proveniente de ningún otro vértice.  El o los estados finales se representan mediante vértices que están encerrados a su vez por otra circunferencia  Descripción instantánea (DI). Secuencia de la forma α1qα2 donde α1,α2 y . Describe la situación de una MT La cinta contiene la cadena α1α2 seguida de infinitos blancos. El cabezal señala el primer símbolo de α2. ejemplo: Para la MT=({p,q},{0,1},{0,1,x}, δ,p,Δ,{q}) con las transiciones δ(p,1)=(p,x,D) δ(p,0)=(p,0,D) δ(p,Δ)=(q,Δ,D) Realizaremos la DI para la cinta 1011. p1011ΔΔ.. → xp011ΔΔ.. → x0p11ΔΔ.. → x0xp1ΔΔ.. → x0xxpΔΔ.. → x0xxqΔΔ.. Ejemplo Definimos una máquina de Turing sobre el alfabeto {0,1}, donde 0 representa el símbolo blanco. La máquina comenzará su proceso situada sobre un símbolo "1" de una serie. La máquina de Turing copiará el número de símbolos "1" que encuentre hasta el primer blanco detrás de dicho símbolo blanco. Es decir, situada sobre el 1 situado en el extremo izquierdo, doblará el número de símbolos 1, con un 0 en medio. Así, si tenemos la
  • 4. entrada "111" devolverá "1110111", con "1111" devolverá "111101111", y sucesivamente. El conjunto de estados es y el estado inicial es . La tabla que describe la función de transición es la siguiente: El funcionamiento de una computación de esta máquina se puede mostrar con el siguiente ejemplo (en negrita se resalta la posición de la cabeza lectora/escritora):
  • 5. La máquina realiza su proceso por medio de un bucle, en el estado inicial s1, reemplaza el primer 1 con un 0, y pasa al estado s2, con el que avanza hacia la derecha, saltando los símbolos 1 hasta un 0 (que debe existir), cuando lo encuentra pasa al estado s3, con este estado avanza saltando los 1 hasta encontrar otro 0 (la primera vez no habría ningún 1). Una vez en el extremo derecho, añade un 1. Después comienza el proceso de retorno; con s4 vuelve a la izquierda saltando los 1, cuando encuentra un 0 (en el medio de la secuencia), pasa a s5 que continúa a la izquierda saltando los 1 hasta el 0 que se escribió al principio. Se reemplaza de nuevo este 0 por 1, y pasa al símbolo siguiente, si es un 1, se pasa a otra iteración del bucle, pasando al estado s1 de nuevo. Si es un símbolo 0, será el símbolo central, con lo que la máquina se detiene al haber finalizado su cómputo.