1. UNIVERSIDAD FERMÍN TORO
VICE RECTORADO ACADÉMICO
FACULTAD DE INGENIERÍA
ESCUELA DE COMPUTACIÓN
MAPA MENTAL:
MAQUINAS DE ESTADO FINITO
INTEGRANTE:
LEIDY J BUITRAGO
C.I.24.722.309
PROF. ADRIANA BARRETO
SAIA A
ESTRUCTURAS DISCRETAS II
2. MAQUINAS DE
ESTADO FINITO
Una máquina 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” de la
máquina, las
transiciones se
escogen en base al
siguiente carácter de
la cadena.
ALGORITMO:
a. Comenzar en el “estado inicial” y en el
primer carácter de la cadena a analizar;
Repetir:
b. Transición al estado siguiente escogiendo
el arco saliente etiquetado con ese carácter;
c. Pasar al siguiente carácter de la cadena;
Hasta que la cadena esté vacía o no haya
transición aplicable;
d. Si la cadena está vacía Y el estado actual
es un estado final devuelve “SI”
en otro caso devuelve “NO”.
COMPONENTES:
Estado del proceso
Transición entre estados
controlada por el
reconocimiento de un
carácter concreto.
Estado inicial
Estado final
Podemos representar también
el “programa” para una
máquina de estado finito en
una tabla:
Cada fila en la tabla FSM
tiene que ser distinta en sus
dos primeras columnas para
que la máquina sea
DETERMINISTA.
MAQUINAS EQUIVALENTES:
Sean las Máquinas Determinísticas A1=(å,
Q1, f1, q01, F1) y A2=(å, Q2, f2, q02, F2),
Decimos que las dos máquinas son
equivalentes si reconocen el mismo
lenguaje. Es decir: si f(q01,x)Î
F1Ûf(q02,x)ÎF2, para todo xÎå*. Dicho de otro
modo, decimos que dos máquinas son
equivalentes si sus estados iniciales los son:
q01Eq02.
ISOMORMFISMO DE MAQUINAS:
Se dice que A1 es isomorfo a A2, es decir, A1»A2
si $ i :Q1®Q2, (i : imagen). Por lo tanto :
i(p01) = p02 (la imagen del estado inicial de A1
es el estado inicial de A2.
Dados pÎF1, qÎF2 : i(p)ÎF2, y i(q)ÎF1.(es decir, la
imagen de los estados finales de uno de los
máquinas, es un estado final del otro máquina).
i(f1(p1,e)) = f2(i(p1),e) = f2(i(p2),e).La imagen de
la transición es la transición de la imagen. Por
lo tanto A1 y A2 son iguales renombrando
estados.
MAQUINA DE TURING:
Una máquina de Turing 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.
La máquina tiene un funcionamiento totalmente mecánico y
secuencial. Lo que hace es leer el símbolo que hay en la casilla que
tiene debajo. Después toma el símbolo del estado en que se
encuentra. Con estos dos datos accede a una tabla, en la cual lee el
símbolo que debe escribir en la cinta, el nuevo estado al que debe
pasar y si debe desplazarse a la casilla izquierda o derecha.