LENGUAJES QUE ACEPTA LA MAQUINA DE TURING

CATEDRATICO Gabriela Hernandez Cruz

Integrantes: Pablo Aguilar Valerio

RESUMEN
La

mquina de Turing es ms una abstraccin matemtica que un dispositivo fsico o mecnico.

Se

le denomina "mquina" eso se debe a que su funcionamiento puede ser descrito en trminos de operaciones individuales muy sencillas que sugieren una implementacin real muy simple

LENGUAJE ACEPTADO POR UNA MAQUINA DE

TURING

El lenguaje aceptado por una maquina de turing es esta 7tupla: 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)

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.

LENGUAJES RECURSIVAMENTE ENUMERABLES

Se

detiene con cualquier cadena de lenguaje cual puede parar y rechazar o iterar indefinidamente con una cadena que no pertenece al lenguaje en contra a lenguajes recursivos lo que la maquina de turing se detendr en todos los casos

La

Por

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

TODOS LOS LENGUAJES

REGULARES

INDEPENDIENTES

DE CONTEXTO

DEPENDIENTES

DE CONTEXTO

RECURSIVOS

SON

RECURSIVAMENTE ENUMERABLES

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 tambin:

ESPECIFICACIN 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 estn formadas por un conjunto de smbolos que pertenecen a un mismo lenguaje con Sintaxis y Semantica

CONCLUSIONES

La coleccin de cadenas aceptadas por una maquina de turing M se llama lenguaje aceptado por la maquina L (M). Se dice que un lenguaje L es un lenguaje aceptado por una maquina de turing M 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

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 anlisis o es que en realidad se encuentra en un bucle infinito

TEOREMAS

Para toda gramtica tipo 0 existe una maquina de turing que reconoce el lenguaje generado por dicha gramtica. Para toda maquina de turing existe una gramtica de tipo 0 que genera un lenguaje igual al reconocido por la maquina de turing.

Corolario: Existe una correspondencia entre gramticas lenguajes y autmatas de tipo 0.