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.