Una evaluacin de los simuladores de autmatas

existentes a los fines de su implementacin prctica

en la materia Sintaxis y Semntica de los lenguajes
en la carrera de Ingeniera en Sistemas de
Informacin de la Universidad Tecnolgica Nacional
Facultad Regional Crdoba
OLARIAGA, Sandra Mnica (1), PAEZ Nancy del Valle (2)
Dpto. Ingeniera en Sistemas de Informacin
Facultad Regional Crdoba
Universidad Tecnolgica Nacional
Maestro Marcelo Lpez s/n. Ciudad Universitaria.
Telfono: 0351 5986000
solariaga@sistemas.frc.utn.edu.ar (1) /
npaez@sistemas.frc.utn.edu.ar (2)

Eje 3: Procesos de enseanza y aprendizaje con TIC

Resumen
Un autmata finito es un modelo matemtico abstracto compuesto por una cantidad finita de
estados que tiene como objetivo recibir entradas y generar salidas en el caso ms
general. Si el autmata slo se limita a reconocer cadenas el mismo estar conformado
por un alfabeto de entrada, un conjunto de estados finito, una funcin de transicin, un
estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una
funcin de transicin, que recibe a partir de un estado inicial una cadena de smbolos
pertenecientes al alfabeto de entrada, y va leyendo dicha cadena a medida que el
autmata se desplaza de un estado a otro, para finalmente detenerse en un estado de
aceptacin o de rechazo.

Dentro de los autmatas finitos se destacan el autmata finito determinista y el no determinista,

la diferencia entre ambos radica en la funcin de transicin, en la cual para el autmata
determinista a cada estado le corresponde una nica transicin, es decir que para un
estado determinado y ante un smbolo ledo existe siempre una sola transicin posible,
mientras que en el autmata finito no determinista existen mltiples transiciones
posibles desde un estado y un smbolo de entrada.

Los autmatas finitos se utilizan en diferentes tipos de aplicaciones tales como las industriales
y por supuesto las informticas; por ejemplo en la implementacin de ingeniera de
software, lenguajes de programacin y otras reas prcticas de las ciencias de la
computacin.
Palabras clave: Simuladores, Autmatas finitos, Sintaxis y Semntica de los Lenguajes

1. Identificacin
UTN 3587
Ciencias de la Computacin e Informtica
Fecha de inicio: 01/05/2015
Fecha de finalizacin: 31/04/2017

2. Introduccin

En el presente trabajo se realizar una evaluacin de los simuladores de autmatas finitos que
constituyen una herramienta muy til a la hora de facilitar la comprensin del
funcionamiento de los autmatas finitos.

Varias universidades a nivel internacional han desarrollado simuladores de autmatas finitos a

fin de poder ejecutar mediante los mismos la ejercitacin de los alumnos, a saber:

JFLAP Universidad de Duke. EEUU

THOTH Universidad de Burgos. Espaa
Automaton Simulator Dr. Carl Burch Software Engineer, Google, Kirkland, Wash.
(was Associate Professor of Computer Science, Hendrix College until Sep 2014)
PhD, Computer Science, Carnegie Mellon U, 2000
Minerva de la Universidad Nacional de Buenos Aires
Visual Automata Simulator Computer Science University of San Francisco. EEUU

Esta evaluacin de los simuladores de autmatas existentes pretende determinar la jerarqua

de los mismos en cuanto a su potencial implementacin en las prcticas de la materia
Sintaxis y Semntica de los Lenguajes de la carrera de Ingeniera en Sistemas de
Informacin.

3. Objetivos, Avances y Resultados

Objetivo general

Llevar a cabo el anlisis de los simuladores de autmatas existentes a fin determinar la

jerarqua de los mismos en cuanto a su potencial implementacin en las prcticas de la
materia Sintaxis y Semntica de Lenguajes de la carrera de Ingeniera en Sistemas de
Informacin.
Objetivos especificos

Llevar a cabo un relevamiento acerca de los simuladores de autmatas existentes.

Determinar los parmetros de anlisis tanto tcnicos como pedaggicos sobre los
cuales se proceder a la evaluacin de los mismos.

Efectuar la medicin de cada uno de los simuladores encontrados de acuerdo a los

parmetros establecidos

Confeccionar un informe acerca de los aspectos evaluados

Elaborar un informe acerca de la importancia de la implementacin de los simuladores

dentro de la prctica de la materia Sintaxis y Semntica de Lenguajes de la carrera de
Ingeniera en Sistemas de Informacin

4. Lneas de investigacin y desarrollo.

El proyecto se inscribe dentro de los lineamientos de investigacin en innovaciones curriculares
en Educacin Superior Universitaria dentro del rea de Sistemas e interfaces
adaptables en la intervencin humano-computadora.

Se trata de una investigacin descriptiva porque busca profundizar la comprensin del

problema y est basada en la observacin. La preocupacin estar centrada en indagar
los hechos o fenmenos educativos en su realidad natural . Se aplicarn las tcnicas
de la investigacin accin. Para ello se seguiran los siguientes pasos:

El primer paso consiste en la identificacin de la problemtica acerca de la necesidad de

evaluar los simuladores de automtas finitos existentes a fin de poder determinar
jerarqua de los mismos en cuanto a su potencial implementacin en las prcticas de la
materia Sintaxis y Semntica de Lenguajes de la carrera de Ingeniera en Sistemas de
Informacin

El segundo paso es la investigacin bibliogrfica y por internet acerca de los simuladores de

automatas finitos existentes.

El tercer paso es la determinacin de los parmetros a partir de los que se realizar el anlisis
de los simuladores encontrados.
El cuarto paso es el anlisis del simulador en funcin de los parmetros establecidos.

El quinto paso es la documentacin de los resultados obtenidos en base a los registros

realizados.

5. Estado actual de avance

Nuestro trabajo se viene desarrollando a travs de varias tareas, las cuales algunas de ellas se
han realizado simultneamente, dando el punto de partida a otras; a saber:

Recabamos informacin acerca de los aspectos que se consideran para llevar a cabo la
evaluacin de software, tanto los tcnicos como los pedaggicos.

Discusin entre los integrantes del grupo acerca de cules seran los aspectos tanto
tcnicos como pedaggicos relevantes a ser incluidos en las tablas de evaluacin de
simuladores de autmatas.

Estamos abocados a la elaboracin de una matriz de evaluacin de acuerdo a la informacin

recabada. Con la conviccin de que no existe un patrn fijo para evaluar los aspectos
tcnicos y pedaggicos de un software, sino guas que permiten describir diferentes
aspectos expresando usos deseables, pues tanto la calidad del software como la de
cualquier otro material didctico est relacionada y determinada en funcin de un
docente concreto y de un grupo puntual de alumnos. Los criterios de evaluacin
propuestos ofrecen orientaciones, una descripcin del uso posible y pedaggicamente
viable; ms que una evaluacin formal.
Para ubicarnos en el tipo de software que vamos a evaluar se trata de un software de
simulacin de entidades abstractas (autmatas ) pero tambin de ejercitacin ya que
mediante el manejo del software contribuye a que los alumnos comprendan el
funcionamiento de los autmatas a travs de la retroalimentacin y verificacin del
aprendizaje.
A continuacin se enumeran los aspectos a ser considerados para realizar la evaluacin:

Datos Generales

Nombre del Software:

Autor:

Ao:

Idioma:
ASPECTOS TCNICOS

1. Requerimientos Funcionales

1.1- Definicin de los dominios de operacin

1.1.1- Definicin del alfabeto de entrada

1.1.2- Definicin del alfabeto de cinta

1.1.3- Definicin del alfabeto de pila

1.1.4- Definicin del conjunto de estados

1.2- Definicin de la Funcin de Transicin

1.2.1 Edicin bajo un formato determinado

1.2.2- Almacenamiento

1.2.3- Recuperacin

1.3- Definicin de las condiciones iniciales de operacin

1.3.1- Definicin de la cadena de entrada

1.3.2- Definicin del estado inicial

1.3.3- Definicin de los estados finales

1.3.4- Definicin del cabezal de lectura/escritura

1.4- Verificacin de la consistencia entre los dominios de operacin, la funcin de transicin

y las condiciones iniciales de operacin.

1.5- Ejecucin a partir de la configuracin inicial los movimientos necesarios hasta alcanzar
una configuracin final.

1.6- Determinacin del modo de operacin (completa- paso a paso).

1.7- Determinacin de indicadores de operacin (complejidad temporal).

2. Requerimientos No Funcionales

2.1- Portabilidad
2.1.2 Se especifican los requerimientos mnimos para su instalacin tanto de hardware como
de software ?

2.2- Facilidad de Uso

2.2.1 Posee algn manual on line o alguna referencia a algn tutorial ?

2.2.2 Ofrece ejemplos ?

2.3- Robustez Detecta errores en la definicin de los autmatas? Como reacciona frente a
situaciones no previstas ?

2.4- Eficiencia Hace un buen uso de los recursos disponibles ?

2.5- Presenta posibilidades de actualizacin ?

Interface Grfica

2.6- Facilidad de definicin y edicin de dominios, funcin de transicin y condiciones

iniciales de operacin.

2.7- Representacin de la configuracin del autmata en cada intervalo de tiempo.

2.8- Opcin de Debugging

2.9- Recopilacin de un histrico de los sucesivos movimientos

2.10- Representacin grfica del histrico de movimientos

ASPECTOS DIDCTICOS-PEDAGGICOS

1. Comunicacin

1.1- Sentido de la comunicacin: direccin y control de la interaccin programa-usuario:

unidireccional, bidireccional, control del usuario sobre la secuencia.

1.2- Formas de los mensajes: estn representados por textos, incluyen sonido, se destacan
con los colores o con el brillo (Multimedia).

1.3- Cantidad de informacin: es la adecuada? es excesiva? o es escasa? para establecer

la comunicacin con el usuario.

1.4- Organizacin de la informacin: distribucin de la informacin disponible.

1.5- Multilenguaje: el manejo de distintos idiomas por parte del usuario para acceder al
material de estudio.
2 Contenido

2.1- Conocimiento cientfico incluido: el material contenido en el software, representa lo

que se quiere ensear, los conocimientos que se pretende que el usuario incorpore
(Curriculum).

2.2- Estrategias de enseanza: forma en que el software hace efectiva la incorporacin de

conocimientos por parte del usuario (Modelo educativo al que responde).

2.3- Multiaplicaciones: el software es aplicable a gran parte del diseo curricular.

6. Formacin de Recursos Humanos

La Directora y la Co-directora de este PID son Especialistas en Docencia Universitaria, siendo
la Directora Magister en Docencia Universitaria.
Con este proyecto se continuar con el proceso de formacin en investigacin de todos los
integrantes, ya que los mismos han participado en proyectos anteriores, con temticas
referidas al mbito de la educacin y de competencias.
Este estudio en particular contribuir en gran medida a ampliar el conocimiento acerca de la
posible aplicacin de simuladores de autmatas finitos en la prctica de la materia
Sintaxis y Semntica de los lenguajes a fin de que pueda llegar a ser el punto de partida
de actividades que favorezcan el mejoramiento de los procesos de enseanza y de
aprendizaje en el aula universitaria.
Se han incorporado becarios alumnos y graduados algunos de los cuales ya han participado en
proyectos anteriores, de la carrera de Ingeniera en Sistemas de Informacin.

Referencias Bibliogrficas

* Alfonseca E., Alfonseca M. y Moriyn R. (2007): Teoria de Autmatas y Lenguajes Formales

McGraw Hill.

* Garcia P., Perez T., Ruiz J., Segarra E. Sempere J. Vzquez de Parga, M.(2001) Teora de
Autmatas y Lenguajes Formales. Alfaomega.

* Gonzalez Castaon M. A. (2000) Evaluacin de Software Educativo: orientaciones para su

uso Universidad EAFIT Proyecto Conexiones.

* Hopcroft J., Ullman J. Motwani R. (2008) Teora de autmatas, lenguajes y computacin.

Pearson Addison Wesley.

* Martin J. (2004) Lenguajes Formales y Teora de la computacin McGraw Hill.

* Sicardi, I. (2004). Revista de Informtica Educativa y Medios Audiovisuales Vol. 1(3), pgs. 1-
20. 2004 ISSN 1667-8338 LIE-FI-UBA.