Documentos de Académico
Documentos de Profesional
Documentos de Cultura
[expresin booleana]
{asignacin;asignacin}
Variables. Variables con valores en un valor nito. Pueden usarse dentro de las
expresiones booleanas y sus valores se cambian mediante asignaciones.
Se usan cuando los disparadores de eventos se inician por el paso del tiempo.
Ejemplo: cambio de luz en los semforos.
Los autmatas de Moore son autmatas con (estados) salida. Existe una funcin
salida que asigna una salida a cada estado. La salida asociada con un estado se
representa en negrita sobre el estado.
La salida es emitida por el autmata cuando entra al estado. Puede pensarse de las
salidas en el autmata de Moore como una generalizacin del autmata estndar
estudiado, que tiene dos salidas: no marcado y marcado.
Valvula
Cerrada
NO FLUJO
Valvula
parcialmente
abierta
FLUJO PARC.
Valvula
Abierta
FLUJO M
AX.
V alv. abre una vuelta
V alv. cierra una vuelta
V alv. abre una vuelta
V alv. cierra una vuelta
paro de emergencia
. p.3/9
Autmatas con entradas y salidas
Los autmatas de Moore son una buena clase de modelos para sistemas fsicos
donde la salida de un estado es el conjunto de lecturas de todos los sensores
cuando el sistema est en ese estado.
Los autmatas de Mealy son una clase conveniente de modelos para teora de
sistemas y de control ya que permiten modelar el mapeo entrada/salida.
Para autmatas Moore, el estado salida puede verse como el evento de salida de
todos los eventos que entran a ese estado. As se puede transformar un autmata
Moore en uno Mealy.
1
01
2
02
3
03
a
c
b
d
1 2
3
a / 02
c / 02
b / 03
d / 01
. p.5/9
Implementacin del autmata
Note que se dene un estado por defecto para cubrir el caso de un valor
desconocido de la variable state ,lo que podra ocurrir si existe un error en el
cdigo. El cdigo por defecto se usa solo para detectar ese error.
Las variables locales oldstate y newstate se usan dentro del cdigo asociado a
cada estado para detectar aquellas condiciones donde se deban ejecutar acciones
de prembulo o de nalizacin del estado, como se muestra en el diagrama de
ujo de la subsiguiente diapositiva.
. p.6/9
Implementacin del autmata
. p.7/9
Implementacin del autmata
. p.8/9
Implementacin del autmata