PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR

SEDE ESMERALDAS

FACULTAD DE CIENCIAS ADMINISTRATIVAS Y CONTABLES

ESCUELA DE:
INGENIERA EN SISTEMAS Y COMPUTACIN


INVESTIGACIN FORMATIVA:
DISEO DE UN AUTMATA PARA LA SIMULACIN DEL SISTEMA DE
CONTROL DE UNA MAQUINA EXPENDEDORA.


CASO DE ESTUDIO:
MAQUINA EXPENDEDORA DE:
DOS CLASES DE COMIDA RPIDA Y TRES TIPOS DE BEBIDAS.


MATERIA:
DISEO DE LENGUAJES Y AUTOMATAS

DOCENTE:
ING. CARMEN CAICEDO

NIVEL:
5
TO
SEMESTRE

NOMBRE:
KATHERINE LADINES GARCS


MES Y AO:
ENERO 2013 2014

A. INTRODUCCIN

Antes de pretender entender la esencia de algo, necesitamos tener una idea
general e intuitiva sobre ese algo; claramente se define a una mquina
expendedora en ingls como vending machine. Por eso, la palabra
vending se utiliza con frecuencia para referirse al sector de las mquinas
expendedoras. En este caso trataremos de ganar alguna intuicin sobre lo que
es una mquina, la respuesta tendra una variacin increble porque cada
persona tiene una idea propia al respecto, por ejemplo varias personas
definiran a una mquina como cualquier aparato con un gran nmero de
palancas, tornillos, botones, manijas, estructuras de acero resplandecientes y
cosas por el estilo; por esa razn es mejor que para un buen entendimiento de
este estudio utilizaremos la siguiente definicin: Una mquina expendedora es
aquella que proporciona aperitivos, bebidas, golosinas entre otros productos a
los consumidores, y trata de vender sin la presencia de un dependiente para
cobrar los artculos, pero necesitando peridicamente un empleado que
reponga el producto y recoja el dinero en forma de monedas o, menos
habitualmente, billetes; a veces tambin se puede pagar con tarjeta monedero,
tarjeta de crdito o telfono mvil.

Existen muchas personas dispuestas a usarlas MAQUINAS EXPENDEDORAS,
por el hecho de ser prcticas, rpidas, tienen un fcil manejo y al poder estar a
la mano de cualquier persona hace que su servicio sea ms interesante y
llamativo para el consumidor. El propsito de la investigacin es el desarrollo
de un Autmata Finito Determinstico, que me permita comprender como
funciona internamente una maquina autnoma expendedora de comida rpida,
dando a conocer qu, en este proyecto es ideal utilizar los AFD porque as
existe una nica forma de llegar de un estado a otro con una entrada, dejando
a al autmata libre de ambigedades lo cual garantizara el buen trabajo de la
maquina autnoma la misma que tres variedades a escoger; *papas fritas,
*hamburguesas y *refrescos; con tres opciones cada una respectivamente; las
dos primeras pueden ser sencillas, dobles o completas; y para los refrescos
habr personales, medianos o grandes.


B. CONTENIDO

1. Caractersticas de los Productos.



Fig. 1 Fig. 2 Fig. 3
La variedad del producto a ofrecer ser dada en varias opciones a escoger por
el consumidor, donde para las papas o hamburguesas pueden ser:

Nombre Cdigo Asociado
Simples (S)
Dobles (D)
Completas (C)
Las bebidas pueden ser:
Personales (C)
Medianas (M)
Grandes (G)

Cada producto identificar y proporcionar la informacin til acerca del mismo
tal como: nombre del producto, peso neto, fecha de elaboracin y fecha
mximo de consumo. Para posteriormente ser colocadas por una persona en el
vending machineo mquinas expendedoras, la misma que se encargara de
mantener los productos en ptimas condiciones para su venta al pblico y as
evitar inconvenientes con los consumidores.
Mquina expendedora est compuesta fsicamente para dispensar productos
empaquetados, provista de una puerta frontal abisagrada y que comprende una
pluralidad de canales de colocacin de los productos en su interior, junto a una
zona habilitada para la cada de los mismos que termina en una bandeja listo
para retirar, esto no quiere decir que el producto se maltrate al caer, debido a
que cada movimiento del autmata est diseado para dar bienestar al cliente
en el momento de su manejo.


2. Funcionamiento del Sistema que Controla el
Expendido de los Productos
El autmata es un ordenador analgico. Se trata de dispositivo electrnicos o
hidrulicos diseado para manipular la entrada de datos en trminos que
pueden ser por niveles de tensin o presiones hidrulicas, en lugar de hacerlo
como datos numricos. La mquina va a ejecutar nuestro programa de usuario
en un tiempo determinado, el cual va a depender sobre todo de la longitud del
programa. Esto es debido a que cada instruccin tarda un tiempo determinado
en ejecutarse, por lo que en procesos rpidos ser un factor crtico.
Los tiempos a considerar para la ejecucin del autmata seran:
Retardo de entrada: tiempo que la persona puede tardar en presionar el
primer botn para seleccionar lo que apetezca.
Vigilancia y exploracin de las entradas: este perodo depende del
autmata; mientras empieza a recorrer sus estados, efectuando las
entradas que el usuario ingrese y rechazando en caso de que el cliente
se equivoque al realizar su peticin al autmata.
Transmisin de las salidas: es el acto final que realiza el usuario en el
momento que desea concluir para obtener su producto, proceso que el
autmata reconoce como una cadena valida y acepta las peticiones
escogidas por el cliente.
Retardo en salidas: la mquina demora para entregar los pedidos, por lo
general son pocos segundos los que el cliente debe esperar, siempre y
cuando para el autmata en ejecucin todo haya estado bien.

Movimiento que realiza el Autmata:
Camino: lista de
1
estados en la que a partir de cada estado se puede llegar al
siguiente por medio de una transicin del autmata.
Cadena aceptada x: si existe un camino que parta de q0, acepte la entrada x y
termine en un estado de aceptacin.
Lenguaje reconocido por el autmata: conjunto de cadenas aceptadas.
En un AFD slo existe un camino posible: es decir, dada una cadena, slo es
posible llegar a un estado a partir del estado inicial.

1
Advanced Industrial Automation: Funcionamiento de Autmatas Programables.


3. Estudio del Autmata Interno de la
Mquina Expendedora.

a) Qu es un Autmata Finito Determinstico?
Un AFD es aquel donde se determina que solo debe tener una nica transicin
de cada estado por cada smbolo, es decir que este autmata recibe
secuencialmente una cadena de smbolos y cambia de estado por cada
smbolo ledo o tambin puede permanecer en el mismo estado. Al final de la
lectura el estado del Autmata indica si la cadena es aceptada o mejor dicho
pertenece al Lenguaje que describe la mquina. Si al final de leer todos los
smbolos de entrada la maquina esta en alguno de los estados aceptacin
entonces esa cadena es vlida, (es rechazada) caso contrario.
Se llama Autmata Finito Determinista (AFD) a la quntupla:
(, Q, f, q
0
, F)
es un alfabeto, llamado "alfabeto de entrada".
Q es un conjunto finito, no vaco llamado "conjunto de estados".
f "conjunto de transiciones".
q
0
Que es el nico "estado inicial".
F Conjunto de "estados finales", o "estados de aceptacin", no vaco.

b) Caracterstica de los AFD.
Tabla de Transicin: Ser una tabla cuyas filas estn encabezadas por los
estados (elementos de Q). Los encabezamientos de las columnas son los
smbolos del alfabeto de entrada (los elementos de ). La misma que me
permite verificar que dentro de un autmata finito determinstico no existan
ambigedades. Grficamente la tabla muestra:
( ): a
1
...a
n

q
0

.....
q
i

......
*q
f





2

c) Cuadro de Variedades que Ofrece la Mquina
Y su Respectivo Cdigo para el Autmata.

d) Smbolos del alfabeto que aplicar para demostrar el
Autmata Finito Determinstico.

={h1, h2, h3, p1, p2, p3, b1, b2, b3, , , ; }

e) Anlisis Lxico Para el Autmata.
Existen muchos smbolos que tienen distintas funciones en los autmatas,
algunos se dividen por tipos, por categoras, por niveles de capacidad para
realizar distintos movimientos dentro del autmata, etc.,
Entre varias de sus caractersticas se puede destacar:
Leen caracteres.
Producen componentes lxicos (tokens).
Filtran comentarios.
Filtran separadores mltiples (espacios, tabuladores y saltos de lnea).
Lleva el contador de lnea y columna del texto fuente.
Genera errores en caso de que la entrada no corresponda a ninguna
categora lxica.

2
Procesadores de Lenguajes: Anlisis Lxico de los Autmatas,
Opciones Descripcin
Cdigo para el
Autmata
Hamburguesas
Sencillas Solo Carne
h1
Hamburguesas Doble Solo Carne y Pollo
h2
Hamburguesas
Completa Solo Carne, Pollo, Jamn, Queso y Huevo
h3
Papas Sencillas Solo Salchicha
p1
Papas Dobles Solo Pollo y Carne
p2
Papas Completas Solo Carne, Pollo, Jamn, Queso y Huevo
p3
Bebidas-personales Coca-Cola
b1
Bebidas-Medianas Coca-Cola
b2
Bebidas-Grandes Coca-Cola
b3


En la simbologa que utiliza el AFD de la mquina se observa el uso de
varias representaciones alfabticas que para el autmata tienen un significado
distinto, mientras para nosotros pueden significar algo desatinado y por ello
podemos desconocer, por esta razn se detallan a continuacin para un mayor
entendimiento en la ejecucin de nuestro autmata y evitar confusiones al
querer comprender este lenguaje:
La coma , : este carcter representa para el autmata la accin que
hace el usuario cuando despus de haber escogido algn producto
desea llevar otros ms, entonces el autmata debe esperar que
posteriormente de la coma el cliente elija otro producto. En el lenguaje
Automtico este smbolo tiene el nombre de Separador.
El punto y coma ; : signo que representa para el autmata el fin del
pedido que realizo el cliente; es decir pudo haber seleccionado algn
producto o simplemente retirarse sin llevar nada porque tal vez no se
decidi, lo cual no genera ningn obstculo para que el autmata siga
trabajando. Para el idioma de un autmata este smbolo se conoce con
el nombre de Terminador.

f) Expresin Regular para el Autmata.
Una expresin regular es una forma de representar a los lenguajes regulares
(finitos o infinitos) y se construye utilizando caracteres del alfabeto sobre el cual
se define el lenguaje.
En informtica, las expresiones regulares proveen una manera muy flexible de
buscar o reconocer cadenas de texto.

Significado de los smbolos que se usan en la Expresin del Autmata.
La barra "|": Sirve para indicar una de varias opciones. Por ejemplo, la
expresin regular "a|e" encontrar cualquier "a" o "e" dentro del texto. La
expresin regular "este|oeste|norte|sur" permitir encontrar cualquiera
de los nombres de los puntos cardinales. La barra se utiliza comnmente
en conjunto con otros caracteres especiales.


3

Los parntesis "()": De forma similar que los corchetes, los parntesis
sirven para agrupar caracteres, sin embargo existen varias diferencias
fundamentales entre los grupos establecidos por medio de corchetes y
los grupos establecidos por parntesis:
Los caracteres especiales conservan su significado dentro de los
parntesis.
Utilizados en conjunto con la barra "|" permite hacer bsquedas
opcionales. Por ejemplo la expresin regular "al (este|oeste|norte|sur)
de" permite buscar textos que den indicaciones por medio de puntos
cardinales, mientras que la expresin regular "este|oeste|norte|sur"
encontrara "este" en la palabra "esteban", no pudiendo cumplir con este
propsito.
Concatenacin o: une hasta 255 cadenas de texto en una sola. Los
elementos que se unirn pueden ser texto, nmeros, referencias de
celda o una combinacin de estos elementos.
La Expresin Regular Queda Formulada de la Siguiente Manera:

ER = (h1| h2| h3|p1 |p2 |p3 |b1 |b2 |b3) o; | ((h1| h2| h3|p1 |p2 |p3 |b1 |b2 |b3) o,
o (h1| h2| h3|p1 |p2 |p3 |b1 |b2 |b3) o;



g) Tabla de Transiciones.
Estados
del AFD
Smbolos del Alfabeto
h1 h2 h3 p1 p2 p3 b1 b2 b3 , ;
qo q1 q1 q1 q1 q1 q1 q1 q1 q1 q2
q1 q2 q2 q2 q2 q2 q2 q2 q2 q2 q3 q2
q2 q2 q2 q2 q2 q2 q2 q2 q2 q2 q2 q2
q3 q4 q4 q4 q4 q4 q4 q4 q4 q4 q2 q2
q4 q2 q2 q2 q2 q2 q2 q2 q2 q2 q3

q5 q1 q1 q1 q1 q1 q1 q1 q1 q1 q2 q2



3
Lgica Programable: Desarrollo para Sistema de Control para de Autmatas.
q5
q5

h) Resultados del Autmata Demostrado con Cadenas.
Un cliente quiere que la Mquina Expendedora le expida una
Hamburguesa Sencilla, con una Coca-Cola Personal y Tambin se
antoj de una Papa Doble. Entonces la expresin para que la lea el
Autmata de la maquina queda de la siguiente forma:
h1ob1op2;
El autmata esta graficado en la parte de anexos que se observa ms
adelante en la Figura1, demostrando que al disear la cadena queda
expresada en un autmata grafico demostrando que su ejecucin es
correcta.
En la seccin de anexos tambin se demuestra el autmata de la mquina
expendedora de comida rpida en la Figura2.

C. CONCLUSIONES.
Durante el desarrollo de este plan investigativo unos de los privilegio de
las mquinas expendedoras respecto a la venta tradicional, es su
disponibilidad en cualquier instante del da, su rapidez en la atencin y
sobre el funcionamiento interno del autmata es fcil de entender y no
est expuesto a equivocaciones.
Para realizar el autmata interno de la maquina no se necesita ser un
experto, todo depende de cuan inters le prestemos a este tipo de
procesos internos que realizan las mquinas y a medida que se va
investigando se podr percibir que es de gran inters su desarrollo,
aunque parezca complejo las fuentes que hoy en da existen nos
ayudan a despejar muchas inquietudes.
Cuando se realiza una investigacin lo importante no es tratar de saber
ms, lo significativo para realizar este tipo de estudios es que lo poco
que aprendamos lo aprovechemos al mximo y apliquemos cuando sea
necesario, muchas veces evadimos este tipo de temas sin saber lo
interesantes que pueden resultar a lo largo de nuestra carrera.


D. ANEXOS.

Figura1.









Figura 2.























E. BIBLIOGRAFA.

alipso.com . (s.f.). Recuperado el 2012Sistemas, P. w. (1999-2012).
alipso.com. Recuperado el 05 de 06 de 2012, de http: //www .alipso.
com/monografias/2561_automatas2/
Jorge Alejandro Gutierrez Orozco. (22 de agosto de 2008). Mquinas de
Estados Finitos. Escuela Superior de Computo.
Machine, W. F. (s.f.). wikipedia.org. Recuperado el 05 de 11 de 2012, de
http://es.wikipedia.org/wiki/M%C3%A1quina_expendedora
SistemasDiscretos/contenido/capitulo_12. (s.f.). udea.edu.com.
Recuperado el 05 de 11 de 2012, de http://docencia. udea. edu. co/
Sistemas Discretos/ contenido/automatasFinito.html
Gustavo Delgado Reyes1, Jorge Salvador Valdez Martnez2, Pedro
Guevara Lpez3. (06 de 2011). comprendamos.org.com. Recuperado el 05
de 11 de 2012, de http: //comprendamos. org/az/alephzero /archivo/historico
/az60/automatas 60 .html
Paginas URL de Internet:
http://www.uhu.es/470004004/docs/tema2_color.pdf
http://wainu.ii.uned.es:8081/WAINU/grados/primero/AGL/otros/libro-j.-brena-
gratuito
http://www.uhu.es/raul.jimenez/MICROELECTRONICA/tutorial_vhdl.pdf