mapa

1. REPUBLICA BOLIVARIANA DE VENEZUELA
MINISTERIO DEL PODER SUPERIOR UNIVERSITARIO
UNIVERSIDAD FERMIN TORO
CABUDARE ESTADO LARA
Mapa mental
MÁQUINAS DE ESTADO FINITO.
INTEGRANTE:
FABIO RODRÍGUEZ : 18735056
Estructuras Discretas II -2016/02- Adriana
Barreto- SAIA A
CABUDARE 01 DE AGOSTO 2016

2. es una máquina abstracta que reconoce
cadenas de caracteres dando una respuesta de
“SÍ” o “NO
MÁQUINAS DE ESTADO FINITO.
basada en las transiciones entre “estados” de
la máquina, las transiciones se escogen en
base al siguiente carácter de la cadena

3. MAQUINAS DE ESTADO FINITO
SU PRINCIPAL ALGORITMO Comenzar en el
“estado inicial” y en el primer carácter de la
cadena a analizar;
SU PRINCIPAL COMPONENTES
Estado del proceso
Transición entre estados controlada por el
reconocimiento de un carácter concreto
Estado inicial
Estado final

4. MAQUINAS DE ESTADO FINITO
Maquinas equivalentes
Son las maquinas determinísticas
A1=(ä,Q1,f1,qO1,F1) y A2 = (ä,Q2,f2,
qO2,F2) decimos que las dos maquinas
son equivalentes si reconocen
Estados Equivalentes
Sea la maquina determinista (ä, Q f,
qO, F) decimos que dos estados p,q1Q
son equivalentes (se representa por
pEq) si para toda palabra xlä*, se
verifica que f(p,x)Füf(q,x)IF

5. MÁQUINAS DE ESTADO FINITO.
Isomorfismo de Máquinas Máquinas de Turinga
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.