1. • la las
maquinas
de turing
• ALGORITMO
PARA VER SI DOS
MÁQUINAS SON
EQUIVALENTES
• Máquinas Equivalentes• MAQUINAS 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
estetipoMTSIIsomorfi
smo 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, o de borrar el existente e
imprimir uno nuevo en su lugar.
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
de S X I en S .
e) Una
función salida g
de S X I en O .
f ) Un estado
inicial o , incluido
en S
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