Este documento describe la teoría de las máquinas de estado finito y proporciona un ejemplo de una máquina expendedora modelada como una máquina de estado finito. Explica que cualquier máquina de autoservicio puede modelarse como una máquina de estados finitos debido a que se comportan como autómatas y son sencillas de programar.

2. TEORIA DE LENGUAJES
DE PROGRAMACION
Máquina de estado finito

3. This material has been prepared by Richard E. Aguilar P.
Contenido de la Sesión
• Máquina de estado finito

5. This material has been prepared by Richard E. Aguilar P.
Logro
Al finalizar la sesión el alumno comprende y reconoce las
principales características de una máquina de estado finito, su
aplicación en ejemplos reales y en la teoría de lenguajes.

7. This material has been prepared by Richard E. Aguilar P.
Máquina expendedora
• Se tiene una máquina expendedora que puede estar en uno
de 7 estados diferentes si, i = 0, 1, .., 6 donde si es el estado en
el que la máquina lleva recaudados 5i céntimos. La máquina
comienza en el estado so, con cero céntimos recaudados.
Las posibles entradas son 5, 10 y 25 céntimos, (N) el botón
naranja y (R) el botón rojo. Las posibles salidas son nada, 5,
10, 15, 20, 25 céntimos, un zumo de naranja y un zumo de
manzana. Cuando un cliente ha depositado 30 céntimos o
más, la máquina devuelve inmediatamente todo lo que
sobrepase los 30 céntimos. Tanto el zumo de naranja como el
de manzana cuestan 30 céntimos.

9. This material has been prepared by Richard E. Aguilar P.
PREGUNTAS

11. This material has been prepared by Richard E. Aguilar P.
Resumiendo
• Cualquier maquina de autoservicio puede ser modelada
utilizando una máquina de estados finitos pues se
comportan como autómatas y son sencillas de programar.