MATERIA: LENGUAJE Y AUTÓMATAS I

SEMESTRE: 6-8 GRUPO: U

DOCENTE: VÍCTOR MANUEL ARIAS PEREGRINO

CARRERA: ING. EN SISTEMAS COMPUTACIONALES

UNIDAD 6: Maquina de Turing

INTEGRANTES DEL EQUIPO:

JUAN CHABLE MORALES
LUIS FELIPR GERONIMO FELIX
LUIS EDUARDO IGLECIAS GÓMEZ
JAIME GONZALEZ ANTONIO
ANTECEDENTES Y LENGUAJES
ACEPTADOS
C

POR LA MAQUINA DE TURING

 Aceptan lenguajes formales que pueden ser
generados por una gramática de tipo 0:
Lenguajes recursivamente innumerable (r .e) Las
máquinas de Turing son los reconocedores
de lenguaje más poderosos que existen.

Todo lenguaje aceptado por una

Teorema 1 Máquina de Turing de varias cintas
es Recursivamente E numerable.

Lenguaje
Recursivament
e E numerable Sea L = L(M) el lenguaje que acepta
una máquina de Turing no
determinista M, entonces existe una
Teorema 2 máquina de Turing determinista N
que acepta dicho lenguaje, es decir,
L(M) =L (N).
 Sea L el lenguaje aceptado por una
máquina de Turing, entonces existe algún
Teorema 3 Autómata de dos pilas que acepta L.

Todo lenguaje Recursivamente E

Lenguajes de numerable es aceptado por alguna
máquinas de Turing Teorema 4
máquina de tres contadores.
y de Autómatas

Todo lenguaje Recursivamente E

Teorema 5 numerable es aceptado por alguna
máquina de dos contadores.