La máquina de Turing es una abstracción matemática que puede aceptar diferentes lenguajes formales. Un lenguaje aceptado por una máquina de Turing se define por la 7-tupla que describe la máquina y se conoce como un lenguaje recursivamente enumerable. Los lenguajes recursivamente enumerables incluyen lenguajes regulares, independientes de contexto y dependientes de contexto, y son cerrados bajo ciertas operaciones. Las máquinas de Turing pueden reconocer una variedad de lenguajes formales definidos por gramáticas u otros mecan
libro grafismo fonético guía de uso para el lenguaje
Maquina Turing lenguajes RE
1. INSTITUTO TECNOLOGICO SUPERIOR DE SAN MARTIN TEXMELUCAN TEORIA DE LA COMPUTACION LENGUAJES QUE ACEPTA LA MAQUINA DE TURING CATEDRATICO YESENIA PEREZ REYES Integrantes: Abel Rodríguez Ambrosio Susana Yarell Rodríguez Contreras Guillermo Iván Prisco Pérez
2. Resumen La máquina de Turing es más una abstracción matemática que un dispositivo físico o mecánico. 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
3. Lenguaje aceptado por una maquina de turing El lenguaje aceptado por una maquina de turing es esta 7-tupla: MT= (Q, Σ, Γ, δ, q, B, F) L(M) es el lenguaje aceptado por la maquina de turing La cadena de entrada puede ser aceptada o rechazada sin necesidad de leerse completamente El lenguaje o problema es recursivamente enumerable o computable cuando es calculado por la maquina de turing 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)
4. LENGUAJES RECURSIVAMENTE ENUMERABLES Los lenguajes aceptados por una maquina de turing se les conoce como LENGUAJES RECURSIVAMENTE ENUMERABLES (RE) El termino “Enumerable” proviene de que una maquina de turing puede listar o enumerar las cadenas del lenguaje Los Lenguajes recursivamente enumerables es un conjunto de lenguajes bastante grande, incluye a los Lenguajes independientes de contexto.
5. LENGUAJES RECURSIVAMENTE ENUMERABLES Se detiene con cualquier cadena de lenguaje La cual puede parar y rechazar o iterar indefinidamente con una cadena que no pertenece al lenguaje en contra a lenguajes recursivos Por lo que la maquina de turing se detendrá en todos los casos
6. LENGUAJES RECURSIVAMENTE ENUMERABLES Existen maquinas de turing que no se detienen ante todas las cadenas de ciertos LENGUAJES REGURALES. El subconjunto de lenguajes recursivamente enumerables cuya totalidad de cadenas es aceptada por una maquina de turing que para
7. TODOS LOS LENGUAJES REGULARES INDEPENDIENTES DE CONTEXTO DEPENDIENTES DE CONTEXTO RECURSIVOS SON RECURSIVAMENTE ENUMERABLES
8. PROPIEDADES DE CIERRE 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:
9. Especificación de lenguajes formales Los lenguajes formales tienen una amplia variedad de formas Cadenas producidas por GRAMATICA FORMAL Cadenas producidas por una EXPRESION REGULAR Cadenas aceptadas por un AUTOMATA Las cadenas están formadas por un conjunto de símbolos que pertenecen a un mismo lenguaje con Sintaxis y Semantica
10. CONCLUSIONES La colección de cadenas aceptadas por una maquina de turingM se llama lenguaje aceptado por la maquinaL (M). Se dice que un lenguaje L es un lenguaje aceptado por una maquina de turingM si existe M tal que L=L(M). Las maquinas de turing pueden aceptar lenguajes que no son independientes del contexto Una maquina de turing reconoce un lenguaje L si es capaz de reconocer todas las cadenas de dicho lenguaje
11. CONCLUSIONES Un lenguaje es aceptado por una maquina de Turing es un LRE Puede entrar en un bucle infinito La maquina de turing solo reconoce cadenas que provocan una parada (ESTADO DE ACEPTACION) 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
12. TEOREMAS Para toda gramática tipo 0 existe una maquina de turing que reconoce el lenguaje generado por dicha gramática. Para toda maquina de turing existe una gramática de tipo 0 que genera un lenguaje igual al reconocido por la maquina de turing. Corolario: Existe una correspondencia entre gramáticas lenguajes y autómatas de tipo 0.