Si se presiona el botón
se abrirá un diálogo en donde se puede seleccionar el archivo
que se desea abrir. Si, en cambio, se presiona sobre el botón
se abrirá un diálogo en donde se debe ingresar el nombre
del nuevo archivo que se desea crear.
Cuando se presiona sobre el botón aceptar se abre una ventana en donde se puede crear la gramática libre del contexto nueva.
Barra de herramientas
En la parte superior de
la ventana se encuentra una barra de herramientas que contiene 6 botones
que corresponden a funciones comunes dentro de la aplicación.
Nueva
gramática libre del contexto
Presionando este botón
se crea una nueva gramática libre del contexto en blanco.
Abrir
gramática libre del contexto
Presionando este botón
se puede abrir una gramática libre del contexto guardada previamente
en un archivo.
Guardar
gramática libre del contexto
Presionando este botón
se puede guardar la gramática libre del contexto que se está
editando en un archivo.
Imprimir
gramática libre del contexto
Presionando este botón
se puede imprimir la gramática libre del contexto que se está
editando.
Ayuda
Presionando este botón
se puede acceder a esta página de ayuda.
Salir
Presionando este botón
se cierra la ventana.
Ingreso
de una regla de producción
La regla de producción
a agregar se debe escribir en los campos de texto dentro del recuadro que
se titula Regla de Producción, en el primer campo se ingresa
el lado izquierdo de la misma y en el segundo el lado derecho. Una
vez escrita la regla presionar sobre el botón Agregar para
ingresar la nueva regla de producción.
Formato
de la regla de producción
El símbolo distinguido
se denota con el caracter ' S ' y la cadena vacía con el símbolo
' E '. Además, se consideran símbolos terminales
los caracteres escritos en minúscula y los dígitos del 0
al 9, y símbolos no terminales los caracteres escritos en
mayúscula. Para ver un ejemplo ir a ejemplo
de gramática libre del contexto.
Cuando una regla de producción
no respeta el formato
de las reglas de producción de una gramática libre del contexto,
se le informa al usuario mediante un diálogo de error.
Actualización
de la definición formal
La definición formal
se actualiza en forma automática cada vez que se ingresa o elimina
una regla de producción.
Operaciones
sobre una gramática libre del contexto
Si se desean ver las reglas de producción que derivaron a una cierta cadena, se debe seleccionar la misma y presionar el botón derecho del mouse sobre ella. Dicha acción permite mostrar un menú con dos opciones, si se selecciona Arbol de derivación se muestra un diálogo con todas las reglas utilizadas para generar dicha cadena.
Verificación
de si una cadena puede ser generada por la gramática
Una vez que se edita una
gramática se puede verificar si una cadena es generada por la misma.
Para llevar a cabo esta operación se debe seleccionar el panel que
permite ingresar una cadena a ser reconocida, dicha selección
se lleva a cabo haciendo click sobre la etiqueta Reconocer. El
panel seleccionado posee una campo de texto en donde se ingresa la cadena
a ser reconocida.
Una vez que se ingresó la cadena a ser generada se debe presionar sobre el botón Reconocer, esta acción lleva a cabo la comprobación de si existe un árbol de derivación que pueda generar la cadena dada. En caso afirmativo, se muestra un diálogo con dicho árbol de derivación, en cambio si la cadena no puede ser generada por la gramática se le informa al usuario mediante un mensaje mostrado sobre un diálogo.