UNIVERSIDAD DE CONCEPCIÓN

FACULTAD DE INGENIERÍA
DEPARTAMENTO DE INFORMÁTICA

Tarea 1:
Máquina de café
POR: JOAQUÍN BAHAMONDE B.

Trabajo presentado a la Facultad de Ingeniería de la Universidad de Concepción.

Profesor: María Angélica Pinninghoff J.

Fecha: Septiembre 14, 2018.

Concepción, Chile.
 DEFINICIONES A CONSIDERAR
Para la realización del autómata finito que se va a describir a continuación,
hay que tener en cuenta lo siguiente. En la máquina expendedora de café, existen
4 tipos de café: expresso, latte, mocaccinno y capuccino. Cada uno de estos
distintos tipos de café, tiene asociado un precio específico. De esta manera, el
autómata finito, tiene más posibilidades de entender las monedas ingresadas por el
usuario. Los precios los cafés, están ordenados de menor a mayor según los
descritos antes. A su vez, para cada tipo de moneda permitida por la máquina
expendedora y para cada café existente, se escogieron distintas abreviaciones que
fueron utilizadas en los distintos estados y transiciones del autómata. Toda esta
información la podemos resumir en las siguientes tablas:

Tipo de café Abreviación Precio($)

Expresso E 200
Mocaccino M 350
Latte L 550
Capuccino C 550

Valor moneda Abreviación

$50 fp
$100 gp
$500 qp

fp = Fifty - pesos

gp = Gamba - pesos

qp = Quina – pesos

- El formato de input a utilizar en JFLAP, es el siguiente:

Monedas(en fp,gp,qp) + Tipo Café (E, M, L, C).
 Ej: Se desea comprar un capuccino con 4 monedas de $100 y 3 de $50.
Quedaría lo siguiente:
gpgpgpgpfpfpfpC.
- La máquina expendedora solo aceptará como máximo $550, dado que este es el
valor del café más caro.
 DEFINICION FORMAL DEL AUTÓMATA
Para definir el autómata creado de manera formal, nos valdremos de la
definición clásica de estos. Esta es:

𝐴𝑓 = (𝑄, 𝛴, 𝛿, 𝑞0 , 𝐹)
En donde Q corresponde al conjunto de estados presentes en el autómata,
Σ corresponde al lenguaje reconocible por el autómata, δ son las transiciones
presentes en el autómata, q_0 es el estado inicial del autómata finito y F es el
conjunto de estados finales. Se procederán a definir cada uno de estos.

Q
El autómata creado, presenta los siguientes estados: {q0, q1, q2, q3, q4, q5, q6,
q7, q8, q10, q11, q13, q14, q15, q16, q17, q18, q20, Vuelto_E, Vuelto_M}.

Σ
El lenguaje reconocible por el autómata es el siguiente: {fp, gp, qp, E, L, M, C,
NULL}

q0
El estado inicial utilizado en el autómata, es el estado q0.

F
El conjunto de estados finales son los siguientes: {q5,q11,q18}
δ
Para representar las transiciones utilizaremos la siguiente tabla:

δ fp gp qp E L M C Nulo
q0 {q1} {q2} {q15} - - - - -
q1 {q3} {q6} {q17} - - - - -
q2 {q6} {q4} - - - - - -
q3 {q6} {q4} - - - - - -
q4 {q7} {q8} - {q5} - - - -
q5 - - - - - - - -
q6 {q4} {q7} - - - - - -
q7 {q8} {q10} - Vuelto_E - - - -
q8 {q10} {q13} - Vuelto_E - - - -
q10 {q13} {q14} - Vuelto_E - {q11} - -
q11 - - - - - - - -
q13 {q16} {q15} - Vuelto_E - Vuelto_M - -
q14 {q15} {q17} - Vuelto_E - Vuelto_M - -
q15 {q17} - - Vuelto_E - Vuelto_M - -
q16 {q15} {q17} - Vuelto_E - Vuelto_M - -
q17 - - - Vuelto_E {q18} Vuelto_M {q18} -
q18 - - - - - - - -
Vuelto_E - - - - - - - {q5}
Vuelto_M - - - - - - - {q11}

Para la construcción del autómata, simplemente se debían ver los casos posibles
para formar $200 como inicio, dado que ese era el valor mínimo de un café.
Luego, al autómata generado de las combinaciones de $200, debía unírsele un
autómata que considerara las combinaciones para formar $150, dado que al
sumar $200 a $150, se obtienen $350, el cual es el valor del segundo café que
dispone la máquina. Finalmente, para los cafés que tienen un valor de $550, tan
solo restaba unir nuevamente un autómata que tenga las combinaciones posibles
para pagar $200, ya que $200 sumado a $150 y a los $200 finales, da un total de
$550. Sumado a esto, había que agregarle algunos casos particulares, como el
pagar con una moneda de $500 y una de $50.