Edición de Expresiones Regulares


Minerva permite que se ingrese una expresión regular a partir de la cual se quiere obtener el autómata finito no determinístico con transiciones vacías que reconoce las cadenas del lenguaje que representa esa expresión regular dada. La ventana de edición de expresiones regulares es accesible desde el menú principal por medio de las opciones Autómatas -> Finito -> Expresión Regular (o utilizando la combinación de teclas rápidas CTRL-E). Luego de efectuar esta acción aparecerá un diálogo que permite ingresar la expresión regular deseada.


 

Esta ventana consiste en una barra de herramientas que incluye botones comunes a las diferentes ventanas de la aplicación y otros botones adicionales que permiten efectuar operaciones específicas de los autómatas finitos determinísticos. Por otro lado, se encuentra el cuadro de texto en donde se ingresa la expresión regular correspondiente.

Barra de herramientas
En la parte superior de la ventana se encuentra una barra de herramientas que contiene 4 botones, 2 de los cuales corresponden a funciones comunes dentro de la aplicación mientras que los 2 restantes son específicos de esta ventana.

Ayuda sobre la edición de expresiones regulares
Presionando este botón se puede acceder a esta página de ayuda.

Salir
Presionando este botón se cierra la ventana.

Símbolos
Presionando este botón se abre una ventana en la que se pueden ingresar los símbolos.

Obtener autómata finito no determinístico con transiciones vacías equivalente
Presionando sobre este botón se abre una ventana en donde se muestra el autómata finito no determinístico con transiciones vacías resultante de aplicar el algoritmo de obtención del AFND_E a partir de una expresión regular.

Obtención del AFND_E a partir de una expresión regular
Antes de intentar efectuar esta acción, asegúrese de haber ingresado los símbolos y de haber tipeado la expresión regular deseada en el cuadro de texto correspondiente.
Una vez efectuada estas operaciones, solo debe presionar el botón  de la barra de herramientas que abrirá una ventana en donde se puede observar, editar, grabar e imprimir el autómata finito no derminístico con transiciones vacías resultante.

Incorporación de símbolos
Antes de obtener el autómata finito no determinístico con transiciones vacías correpondiente a la expresión regular ingresada, se deben setear los símbolos que componen la expresión regular. Para llevar a cabo esta operación, se debe efectuar click sobre el botón  de la barra de herramientas tras lo cual se abre una ventana que permite el ingreso de los símbolos.

Para incorporar un nuevo símbolo solo debe tipearlo en el cuadro de texto y luego presionar el botón Agregar. Si desea eliminar un símbolo, debe marcarlo dentro de la lista efectuando click sobre el item correspondiente y luego presionar el botón Eliminar.
Una vez incorporados los símbolos deseados, se debe presionar el botón Cerrar que cierra la ventana de ingreso de símbolos.

Ingreso de la expresión regular
La expresión regular se debe ingresar en el cuadro de texto correspondiente.

La operación de concatenación se puede expresar tanto escribiéndola en forma explícita por medio del ingreso del símbolo ' . ' como en forma implícita, por la omisión del mismo. A continuación se dan dos expresiones regulares equivalentes.

    exp1 = (a+bc)   ;  exp2 = (a+b.c)


Ejemplo   Conceptos Teóricos