El documento describe la rutina diaria de Juan y las condiciones para que sea feliz a través de un autómata finito. Juan puede ser feliz si llega temprano a clase, es invitado a una fiesta por sus amigos en el cafetín o se va al cine con su enamorada.