Toeria de computacion

Solo disponible en BuenasTareas
  • Páginas : 9 (2215 palabras )
  • Descarga(s) : 0
  • Publicado : 30 de abril de 2010
Leer documento completo
Vista previa del texto
Manual de usuario.

“GRAMMAR” Aplicación de apoyo para el aprendizaje de los lenguajes formales.

LINKSOFT CORP| Manual de Usuario ”GRAMMAR"

1

PROLOGO
Este manual introducirá al usuario al uso del programa educativo GRAMMAR, utilizado para el aprendizaje de los lenguajes formales. Se recomienda al usuario familiarizarse con los conceptos relacionados con gramáticas y sus diferentesrepresentaciones, tales como Backus Naur Form o Diagramas Sintácticos, así como introducirse a la teoría de Autómatas y Maquinas de Turing.

LINKSOFT CORP| Manual de Usuario ”GRAMMAR"

2

INDICE
Tema 1.- Introducción a los menús y pantallas principales del sistema 1.1.- Pantalla Principal 2.- Manejo y uso de la pestaña “Gramáticas”. 3.- Manejo y uso de la pestaña “Backus Naur”. 4.- Manejo yuso de la pestaña “Diagrama Sintáctico”. 5.- Manejo y uso de la pestaña “Autómatas”. 6.- Manejo y uso de la pestaña “Maquinas De Turing”. Página 4 4 5 12 13 15 23

LINKSOFT CORP| Manual de Usuario ”GRAMMAR"

3

1.- Introducción a los menús y pantallas principales del sistema.
1.1.- PANTALLA PRINCIPAL

Fig. 1.- Pantalla Principal En la Figura 1 se muestra la pantalla principal de GRAMMAR,la cual se divide en 6 áreas importantes. La pestaña de nombre “Gramática” es usada para el trabajo con gramáticas y sus representaciones en Backus Naur Form, Diagrama sintáctico o Autómatas. La pestaña de nombre “Backus Naur” es usada para el trabajo con Gramáticas introducidas en esta forma especial. La pestaña de nombre “Diagrama Sintáctico” es usada para realizar representaciones deGramáticas en esta forma especial. La pestaña de nombre “Autómatas” permite trabajar con esta representación de las Gramáticas Regulares, en su forma de Autómata Finito Determinista y No Determinista. LINKSOFT CORP| Manual de Usuario ”GRAMMAR" 4

La pestaña de nombre “Maquinas de Turing” es usada para trabajar con este tipo de representación. El panel central es usado para mostrar las representacionesgraficas de los objetos con los que se esté trabajando dependiendo de la pestaña elegida.. El panel izquierdo es usado para mostrar las composiciones de la Gramática introducida, en las pestañas Gramática y Backus Naur, y en la pestaña de Maquinas de Turing se encarga de mostrar la función de transición introducida.

2.- Manejo y uso de la pestaña “Gramáticas”.
El uso de la pestaña de gramáticases intuitivo y sencillo. Para comenzar a usar esta parte del sistema se necesita introducir las composiciones de la gramática con la que se desea trabajar. En la Figura 2 se puede observar dos campos de texto vacios, los cuales se usan para introducir las composiciones. También se pueden observar 5 botones, que son usados para agregar composición, eliminar composición, actualizar composición,eliminar el conjunto de composiciones y evaluar una cadena con el grupo de composiciones introducido.

Fig. 2.- Campos y botones para introducir composiciones LINKSOFT CORP| Manual de Usuario ”GRAMMAR" 5

Al introducir la primera composición y dar click en el botón “Agregar Composición” ( añadirá en el panel izquierdo, tal como se muestra en la Figura 3.

), se

Fig. 3.- Introducir PrimeraComposición Al ir agregando composiciones se irá actualizando su definición formal, tal como se muestra en la Figura 4.

LINKSOFT CORP| Manual de Usuario ”GRAMMAR"

6

Fig. 4.- Definición Formal Si se desea eliminar una composición introducida anteriormente, se selecciona con el mouse y se da click en el botón “Eliminar Composición” ( ). Un ejemplo de esto se muestra en la Figura 5.LINKSOFT CORP| Manual de Usuario ”GRAMMAR"

7

Fig. 5.- Borrando Composiciones Si se desea actualizar una composición introducida anteriormente, se selecciona con el mouse, se modifican los valores y posteriormente se da click en el botón “Actualizar Composición” Un ejemplo se muestra en la Figura 6. ( ).

LINKSOFT CORP| Manual de Usuario ”GRAMMAR"

8

Fig. 6.- Modificando Composiciones...
tracking img