la las maquinas de turing

ALGORITMO PARA VER SI DOS MÁQUINAS SON EQUIVALENTES

Máquinas EquivalentesMAQUINAS DE ESTADO FINITO

Es una máquina abstracta que

reconoce cadenas de caracteres dando una respuesta de

“SÍ” o “NO” basada en las transiciones

entre “estados

son equivalentes si reconocen el

mismo lenguaje y si sus estados

iniciales los son: q01Eq02.

Existen gran cantidad de

ordenadores, capaces de realizar

diiferentes funciones, y se puede realizar atravez de una

forma mecanica

propositocion 6.1 sin son equivalentes ,en si

toda maquina es de estetipoMTSIIsomorfis

mo de Máquinas.Se dice que A1 es isomorfo a A2, es decir, A1»A2 si

$ i). Por lo tanto : A1 es el estado inicial

de A2.

Consiste, básicamente, en una cinta infinita, dividida en casillas. Sobre esta cinta hay un dispositivo capaz de desplazarse a lo largo de ella a razón de una casilla cada vez. Este dispositivo cuenta con un cabezal capaz de leer un símbolo escrito en la cinta,

Un conjunto finito I de símbolos de entrada.b) Un conjunto finito O de símbolos de salida.c) Un conjunto finito S de estados.d) Una función estado siguiente f

que se emplea este modelo para SIMULAR todos aquellos sistemas en los que la salida no es función exclusiva de la entrada, sino también de un estado

o situación actual implícita en el mismo

Alumna Marines linares

Asignatura estructuras 2