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.