Maquinas Abstractas


Universidad Tecnológica Nacional
Facultad Regional Córdoba
Ingeniería en Sistemas


Materia: Sintaxis y Semántica de Lenguajes.

Año Lectivo: 2014.

Curso: 2k11.

Profesoras: - Giro, Juan Francisco (Adjunto)
- Paez, Nancy Del Valle (JTP)

Fecha de presentación: 22/05/2014

Integrantes:
Ligorria, Gino Daniel - Legajo: 60911
Ortiz, AnaMaría - Legajo: 57564



Objetivos del trabajo:
Seleccionar un simulador de Autómata con Pila y uno de Maquina de Turing considerando requerimientos funcionales y no funcionales.

Resolver un mismo problema a través de la simulación con ambas maquinas, determinar las expresiones de la complejidad y compararlas.

Simuladores utilizados

Se trabajara con 3 simuladores (JFLAP, AutoSim, SSLtools) distintos para poder ver las diferencias entre ellos en cuanto a sus requerimientos funcionales, requerimientos no funcionales y la interfaz gráfica. Nuestra idea es hacer uso de un simulador como base de comparación de los otros dos. Lo que pudimos destacar de los simuladores es que algunos creadores hacen hincapié más en la estética del diseño de los autómatas y otros solo en el enfoquede saber si una cadena es aceptada o no. Los tiempos de ejecución son bastantes parecidos ya que si buscamos solo saber si una cadena es aceptada o rechazada lo hace en cuestión de segundos, y si deseamos ver el paso de un estado a otro a través de paso a paso el tiempo de ejecución depende únicamente del usuario.
Todos los simuladores que hemos utilizado están creados en base de lenguaje deprogramación java.

a)
Requerimientos Funcionales
JFLAP
AutoSim
Definir dominios de operación
2
1
Editado, almacenado y recuperación de la función de transición
2
0
Definir las condiciones iniciales de operación
1
1
Verificar la consistencia entre los dominios de operación
2
1
Ejecutar a partir de la configuración inicial hasta alcanzar la configuración final
2
2
Admisión demodos de operación: *Completa y *Paso a Paso
2
2
Indicadores de operación, complejidad y/o eficiencia
0
0
Total
11
7

*Completa: cumplirá todos los movimientos necesarios desde la configuración inicial a la final.
*Paso a paso: cada paso implica la ejecución de un solo movimiento y es activado mediante un comando del sistema.

Requerimientos No Funcionales
JFLAP
AutoSim
Portabilidad1
1
Facilidad de uso
2
2
Robustez
2
1
Eficiencia
1
0
Total
6
4


Interfaz Gráfica
JFLAP
AutoSim
Facilidad para la edición de dominios, función de transición y condiciones iniciales de operación
2
2
Representación de los componentes formales del autómata a lo largo de todo el proceso de simulación.
2
1
Representación de la configuración del autómata en cada intervalo detiempo
1
1
Opción de debugging que permite alterar el contenido de la cinta de entrada o entrada-salida según el caso durante la operación del autómata
1
0
Representación de un histórico de los sucesivos movimientos desde la configuración inicial a la final (árbol de descripciones instantáneas)

0
0
Representación gráfica del árbol de descripciones instantáneas ya mencionado
0
0
Opciónpara la visualización de los indicadores de operación, complejidad y/o eficiencia
0
0
Total
6
4




b)
Requerimientos Funcionales
JFLAP
SSLTOOLS
Definir dominios de operación
2
2
Editado, almacenado y recuperación de la función de transición
2
1
Definir las condiciones iniciales de operación
1
1
Verificar la consistencia entre los dominios de operación
2
2
Ejecutar apartir de la configuración inicial hasta alcanzar la configuración final
2
2
Admisión de modos de operación: *Completa y *Paso a Paso
2
2
Indicadores de operación, complejidad y/o eficiencia
0
0
Total
11
10

*Completa: cumplirá todos los movimientos necesarios desde la configuración inicial a la final.
*Paso a paso: cada paso implica la ejecución de un solo movimiento y es activado...