Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LENGUAJES FORMALES
NANCY JOHANA P. RUIZ
CD.: 1057584201
301405-9
CONTENIDO
Mquinas de Turing
Mquinas de Turing reconocedoras
Mquinas de Turing transductoras
Maquina universal y Turing
MQUINAS DE TURING
Sptupla: (, , b, Q, qo, f, F), donde:
: alfabeto de smbolos de cinta
Definicin : alfabeto de smbolos de
entrada
b , b : smbolo blanco.
Dispositivo de reconocimientos de Indica que la celda est vaca.
lenguaje, es ms general que cualquier Q: conjunto de estados (finito).
autmata finito y cualquier autmata de qo Q: estado inicial
pila, debido a que ellas pueden F Q: conjunto de estados
reconocer tanto los lenguajes regulares, finales
como los lenguajes independientes de f: funcin de transicin,
contexto y adems muchos otros tipos correspondencia de
de lenguajes. Q x Q x x {I, D, P}
MQUINAS DE TURING
CARACTERISTICAS
La cinta es unidimensional e infinita por
ambos lados. Inicialmente:
PROPIEDADES