Modelado de maquina de estados finitos(quiosco)

PROTOTIPO DIDÁCTICO DE UNA MÁQUINA DE ESTADOS FINITOS Colín Gachuzo M. A.; Erthal García U.; Nava Cruz, J. B.; Sánchez Dorado A. R.;1 González Gutiérrez F.; Vázquez Huerta M.E.2

RESUMEN Una máquina de estados finitos es una máquina de cómputo con memoria restringida y se modela a través de un Autómata. La aplicación que se utilizó en este prototipo didáctico es un “kiosco de servicios” para undepartamento de Servicios Escolares que pretende hacer el cobro de algunos servicios básicos evitando así que el alumnos realice el pago correspondiente en el banco, siendo la mayoría de los casos, cantidades muy pequeñas. El uso del kiosco supone un ahorro para la institución, porque el personal ya no tiene que atender a los estudiantes para ofrecer servicios básicos, concentrándolos en otrasactividades más sustanciales para el departamento. El acceso se hace con la matricula del estudiante y un NIP y se emplean algunas técnicas de seguridad básica. La programación de los algoritmos a implementar se realiza en lenguaje de programación funcional Mathematica ver 7.0. Este trabajo presenta un prototipo didáctico de apoyo a las asignaturas de Lenguajes y Autómatas o Teoría de la Computaciónmodelando la máquina de estados finitos que representa un kiosco de servicios. ABSTRACT (OPCIONAL) A finite state machinery is a computer machine with restrict memory and it is modeled by an Automata. The application used in this educational prototype is a “services kiosco” used by a students services department, this kiosco pretend to get the pay of some basic services avoided to do the paid ina banc, sometimes this paid was to few. The used of the kiosco suppose a saving of resourses for the institution because people has no to attend students to offer basic services, instead of that they concentrate in other more important activities to the department. The access is made with the matricula and a NIP using some techniques of basic security. The implementation of algorithms was made infunctional programming language Mathematica version 7.0. This work present a didactic prototype to support the subjects of Automata and Languages, computer theory modeling the finite state machinery that represents the services kiosko. INTRODUCCIÓN El departamento de Servicios Estudiantiles de la Universidad proporciona algunos servicios no gratuitos a la comunidad estudiantil. Por políticasinternas de seguridad, estos servicios tienen que ser cubiertos en algún banco, posterior al trámite de referencia bancaria. Estas actividades consumen tiempo para el personal y para los estudiantes. La propuesta de solución al problema planteado es la existencia de un cajero de servicios, conocido como un “kiosco de servicios”. Un kiosco de servicios es una máquina que proporciona servicios a lacomunidad estudiantil, sin necesidad de personal que atienda dicha máquina. A fin de agilizar el pago de dichos servicios, este se hace de forma local en el mismo kiosco. La

1

2

Estudiantes del programa de Ingeniería en Sistemas Computacionales de la Universidad Politécnica de Querétaro, Carretera Estatal 420 S/N, El Rosario, CP 76240, El Marqués, Querétaro, Tel y fax (442) 101 9000.Profesores Investigadores de tiempo completo de Ingeniería en Sistemas Computacionales de la Universidad Politécnica de Querétaro, Carretera Estatal 420 S/N, El Rosario, CP 76240, El Marqués, Querétaro, Tel y fax (442) 101 9000. fidel.gonzalez@upq.edu.mx, elena.vazquez@upq.edu.mx

Colín Gachuzo M. A.; Erthal García U.; Nava Cruz, J. B.; Sánchez Dorado A. R.;González Gutiérrez F.; Vázquez Huerta M.E.

112° Verano de la Ciencia Región Centro

Junio-Julio 2010 Universidad Politécnica de Querétaro

autenticación se realiza mediante un usuario y un NIP. La Figura 1 muestra un ejemplo de una interfaz de un cajero automático.

Figura 1. Pantalla de un cajero automatico

Un autómata es una máquina de cómputo con memoria restringida. Un autómata es un modelo matemático de un sistema. El...