El documento describe una máquina expendedora de café automatizada y su funcionamiento como una máquina de estado finito. La máquina pasa por estados de encendido, calentado, espera y extracción, y puede seleccionar entre 4 opciones de café al oprimir un botón. Se muestra un diagrama del autómata que modela los estados y transiciones de la máquina expendedora.

1. RECURSO AUTÓMATA
UNIDAD
IV

2. DEFINICION
• Las máquinas de estado finito son una herramienta muy
útil para especificar aspectos relacionados con tiempo
real, dominios reactivos o autónomos, computación
reactiva, protocolos, circuitos, arquitecturas de software, etc.
• Posee sintaxis y semántica formales y que sirve para
representar aspectos dinámicos que no se expresan en
otros diagramas.
• Las máquinas de estados finitos son sencillas para especificar:
•
•
•
•
•
sistemas de control,
compilación,
comparación de patrones,
diseño de hardware,
otras aplicaciones no relacionadas con la computación..

3. EXPENDEDORA DE CAFÉ
Descripción: Maquina automática de café con
diferentes tipos.
Funcionamiento: Servir café al gusto.
Objetivo: Mas rápido la preparación y el servicio sin
espera de calentar.
Nota
Opción
1: Cappuccino 2: Americano 3: Vainilla 4: Chocolate

4. DISEÑO DEL AUTÓMATA
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1

5. Recorrido del
Autómata
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1

6. Recorrido del
Autómata
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1

7. Recorrido del
Autómata
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1

8. Recorrido del
Autómata
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1

9. Recorrido del
Autómata
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1

10. Recorrido del
Autómata
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1

11. De esta manera quedaría el
recorrido
1
1
0
Encendido
1
0
calentado
espera
0
Opciones
1,2,3,4
1
Opció
n1
0
0
Opció
n2
0
1
1
0
0
1
Opció
n4
Opció
n3
0
Extracción
0
0
0
1