You are on page 1of 2

Universidad Fermn Toro

AUTOMATAS DE ESTADO FINITOS

MAQUINAS DE ESTADOS FINITOS - MEF

Cabudare 2016

Mara Aponte
Autmatas

Las posibles transiciones se indicaran con


flechas que van de un estado a otro, o incluso a
s mismos. Deben etiquetarse con el smbolo
que produce el cambio de estado.

El estado inicial recibe una flecha


de transicin que llega de
ninguna parte

Los estado aceptadores pueden


identificarse con doble circulo o con
una cruz(igual que signo +) al lado de
ellos.

Los estados se identifican dentro de un circulo.

Estados finales llamados


aceptadores

Determinsti
cos (AFD)

ELEMENTOS
Estados
iniciales

ESTADOS

Estados finales no
aceptadores

No
determinsticos
(AFND)

conjunto de nodos y aristas que representan


trayectorias para generar una expresin bajo un alfabeto

AUTOMATAS DE ESTADO FINITOS

Cada transicion produce


un solo impacto

CLASIFICACIN

Cada transicion produce


varios eatdos

AUTOMATAS
M= (I,O,S,F,G)

CONSTA DE

I= conjunto finito de
simbolos de entrada
O= conjunto finito de
simbolos de salida

MAQUINAS DE ESTADOS FINITOS - MEF


son una herramienta muy til para especificar aspectos
relacionados con tiempo real, dominios reactivos o autnomos,
computacin reactiva, protocolos, circuitos, arquitecturas de
software, etc.
S= conjunto finito
de estados

F= funcin de estado
siguiente S * I en S
G= funcin de salida de S *I en O

= estado inicial

MAQUINAS EQUICALENTES
Son las maquinas determinsticas
A1=(,Q1,f1,qO1,F1) y A2 = (,Q2,f2,
qO2,F2) decimos que las dos maquinas
son equivalentes si reconocen el mismo
lenguaje

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)Ff(q,x)IF.