tarea 30/08/2017

1. Autómata finito determinista
Introducción
Los autómatasson unarepresentaciónformal muyútil,que permitemodelarel comportamiento
de diferentes dispositivos,máquinas,programas,etc.
Ejemplos:
 Máquinas expendedorasde refrescos
 El comportamiento de unprograma(software)
 El comportamientode semáforos
Autómatasfinitosdeterministas
Ejemplo
Considere unsistemaformadoporunalámparay un interruptor.La lámparapuede estar
encendidaoapagada.El sistemasólopuede recibirun estímuloexterior: pulsarel interruptor.El
funcionamientoeshabitual:si se pulsael interruptoryestabaapagadala lámpara,se pasa al
estadode interruptoryestabaapagada la lámpara,se pasa al estadode encendido,osi está
encendida, pasaapagada. Se deseaque labombillaeste inicialmente apagada.

2. Bibliografía:
ivanolmospineda.(2009).automatasdeterministas.04/09/2009, de . Sitioweb:
https://www.cs.buap.mx/~iolmos/propeLogica/4_Automatas1.pdf