Recurso autómata

U N I DA D I V

RECURSO AUTÓMATA

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..

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.

NotaOpción 1: Cappuccino 2: Americano 3: Vainilla 4: Chocolate

DISEÑO DEL AUTÓMATA

Encendido calentado espera

Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1


Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1

Recorrido del Autómata


Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1



Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1



Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1



Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1



Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1



Opciones1,2,3,4

Opción 1

Opción 2

Opción 4

Opción 3

Extracción 1

0

0 00

0

1

1

1 10 0 00

0 0

0

1 1 1

De esta manera quedaría el recorrido

Documents

Recurso autómata