INSTITUTO TECNOLOGICO SUPERIOR

DE SAN MARTIN TEXMELUCAN

TEORIA DE LA COMPUTACION

LENGUAJES QUE ACEPTA

LA MAQUINA DE TURING

CATEDRATICO
YESENIA PEREZ REYES
Integrantes:
Abel Rodrguez Ambrosio
Susana Yarell Rodrguez Contreras
Guillermo Ivn Prisco Prez
RESUMEN
La mquina de Turing es ms una
abstraccin matemtica que un dispositivo
fsico o mecnico.

Sele 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 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)
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
Sedetiene con cualquier cadena de
lenguaje

Lacual puede parar y rechazar o iterar

indefinidamente con una cadena que no
pertenece al lenguaje en contra a
lenguajes recursivos

Porlo que la maquina de turing se detendr

en todos los casos
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.