Cómo reducir un Término.
La herramienta estará disponible tras la compilación de un Tad que no presente genéricos sin instanciar. Para acceder a ella sólo debemos pulsar su correspondiente botón de la barra de herramientas y ésta aparecerá.
Para reducir un término debemos escribirlo en la zona destinada a tal propósito y pulsar el botón de PLAY.
Las reducciones aparecen en el área de reducciones. Se hace uso de diferentes colores para ilustrar el proceso de reducción.
- En rojo: aparece escrito el primer término que unifica con alguna de la partes izquierdas de las ecuaciones empleadas en la especificación del TAD.
- En azul: aparece escrito la reducción realizada sobre el término que se ha reducido. De esta forma al usuario le será bastante fácil hacer un seguimiento sobre el comportamiento del TAD.
-
En negro: aparece aquello que no sea ninguno de los dos casos
anteriores. Es por esto que cuando la reducción termina y se haya llegado a la
forma canónica, aparecerá toda la línea en negro.
El
usuario dispone además de distintos grupos de
botones para controlar el proceso de reducción:
-Por
un lado aparecen las opciones Paso a Paso, N Pasos y Completa. si
seleccionamos Paso a Paso se realizará una única reducción por cada
pulsación del botón PLAY, si seleccionamos Completa, el proceso
no se interrumpirá hasta llegar al final o ser detenido por el usuario, y si lo
seleccionado es N Pasos, en cada reducción se realizarán un número de
reducciones concreto. Ese número por defecto es 5, pero el usuario puede
cambiarlo simplemente a través del menú de herramientas, en el apartado de
configuración.
-Por
otro lado tenemos los botones PLAY, PAUSA y STOP.
Inicialmente sólo aparecerá habilitado el botón de PLAY, de modo que
el usuario, tras escribir un término puede pulsarlo y comenzará el proceso de
reducción. Una vez iniciado, éste se deshabilitará y aparecerán habilitados
los botones de PAUSA y STOP. Si se presiona el botón de PAUSA
el proceso queda detenido a la espera de que se vuelva a pulsar el de STOP
o el de PLAY. En cambio, si el pulsado es el botón de STOP, la
reducción se detendrá por completo.
-Y por último tenemos los botones:
- Limpiar término. La pulsación de este botón produce que todo lo que haya escrito en el área de término a reducir sea borrado.
- Limpiar reducciones. La pulsación de este botón produce que todo lo que haya escrito en el área de reducciones sea borrado.
- Cerrar reducciones. La pulsación de este botón produce que se cierre la ventana de reducciones. Para volver a mostrarla bastará con volver a pulsar el botón que la muestra de la barra de herramientas.