Lenguajes de una maquina de turing

9,381 views

Published on

Published in: Education
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
9,381
On SlideShare
0
From Embeds
0
Number of Embeds
928
Actions
Shares
0
Downloads
225
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

Lenguajes de una maquina de turing

  1. 1. INSTITUTO TECNOLOGICO SUPERIOR<br />DE SAN MARTIN TEXMELUCAN<br />TEORIA DE LA COMPUTACION<br />LENGUAJES QUE ACEPTA<br />LA MAQUINA DE TURING<br /> CATEDRATICO<br />YESENIA PEREZ REYES<br />Integrantes: <br />Abel Rodríguez Ambrosio<br />Susana Yarell Rodríguez Contreras<br />Guillermo Iván Prisco Pérez<br />
  2. 2. Resumen<br />La máquina de Turing es más una abstracción matemática que un dispositivo físico o mecánico.  <br />Se le denomina "máquina" eso se debe a que su funcionamiento puede ser descrito en términos de operaciones individuales muy sencillas que sugieren una implementación real muy simple<br />
  3. 3. Lenguaje aceptado por una maquina de turing<br />El lenguaje aceptado por una maquina de turing es esta 7-tupla:<br /> MT= (Q, Σ, Γ, δ, q, B, F)<br />L(M) es el lenguaje aceptado por la maquina de turing<br />La cadena de entrada puede ser aceptada o rechazada sin necesidad de leerse completamente<br />El lenguaje o problema es recursivamente enumerable o computable cuando es calculado por la maquina de turing<br />El lenguaje es recursivo o decidible cuando es calculado por una maquina de turing que siempre se detiene (tanto acepta como si no lo hiciera)<br />
  4. 4. LENGUAJES RECURSIVAMENTE ENUMERABLES<br />Los lenguajes aceptados por una maquina de turing se les conoce como LENGUAJES RECURSIVAMENTE ENUMERABLES (RE)<br />El termino “Enumerable” proviene de que una maquina de turing puede listar o enumerar las cadenas del lenguaje<br />Los Lenguajes recursivamente enumerables es un conjunto de lenguajes bastante grande, incluye a los Lenguajes independientes de contexto.<br />
  5. 5. LENGUAJES RECURSIVAMENTE ENUMERABLES<br />Se detiene con cualquier cadena de lenguaje<br />La cual puede parar y rechazar o iterar indefinidamente con una cadena que no pertenece al lenguaje en contra a lenguajes recursivos<br />Por lo que la maquina de turing se detendrá en todos los casos<br />
  6. 6. LENGUAJES RECURSIVAMENTE ENUMERABLES<br />Existen maquinas de turing que no se detienen ante todas las cadenas de ciertos LENGUAJES REGURALES.<br />El subconjunto de lenguajes recursivamente enumerables cuya totalidad de cadenas es aceptada por una maquina de turing que para<br />
  7. 7. TODOS LOS LENGUAJES<br />REGULARES<br />INDEPENDIENTES DE CONTEXTO<br />DEPENDIENTES DE CONTEXTO<br />RECURSIVOS<br />SON RECURSIVAMENTE ENUMERABLES<br />
  8. 8. PROPIEDADES DE CIERRE<br />Los lenguajes recursivamente enumerables son cerrados con las siguientes operaciones. Esto es, si L y P son dos lenguajes recursivamente enumerables, entonces los siguiente lenguajes son recursivamente enumerables también:<br />
  9. 9. Especificación de lenguajes formales<br />Los lenguajes formales tienen una amplia variedad de formas<br />Cadenas producidas por GRAMATICA FORMAL<br />Cadenas producidas por una EXPRESION REGULAR<br />Cadenas aceptadas por un AUTOMATA <br />Las cadenas están formadas por un conjunto de símbolos que pertenecen a un mismo lenguaje con Sintaxis y Semantica<br />
  10. 10. CONCLUSIONES<br />La colección de cadenas aceptadas por una maquina de turingM se llama lenguaje aceptado por la maquinaL (M).<br />Se dice que un lenguaje L es un lenguaje aceptado por una maquina de turingM si existe M tal que L=L(M).<br />Las maquinas de turing pueden aceptar lenguajes que no son independientes del contexto<br />Una maquina de turing reconoce un lenguaje L si es capaz de reconocer todas las cadenas de dicho lenguaje <br />
  11. 11. CONCLUSIONES<br />Un lenguaje es aceptado por una maquina de Turing es un LRE<br />Puede entrar en un bucle infinito<br />La maquina de turing solo reconoce cadenas que provocan una parada (ESTADO DE ACEPTACION)<br />Si la maquina no se detiene no se sabe si la maquina necesita mas tiempo para terminar el análisis o es que en realidad se encuentra en un bucle infinito<br />
  12. 12. TEOREMAS<br />Para toda gramática tipo 0 existe una maquina de turing que reconoce el lenguaje generado por dicha gramática.<br />Para toda maquina de turing existe una gramática de tipo 0 que genera un lenguaje igual al reconocido por la maquina de turing.<br />Corolario: Existe una correspondencia entre gramáticas lenguajes y autómatas de tipo 0.<br />
  13. 13. GRACIAS POR TU ATENCION<br />

×